( en | de | ru )

 

Disambiguierung von "Leone, Nicola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On ACTL Formulas Having Linear Counterexamples.

, , , und . J. Comput. Syst. Sci., 62 (3): 463-515 (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicola Leone

Nicola Leone

Frederico Leone

Debora Leone

Marco Leone

 

Weitere Publikationen von Autoren mit dem selben Namen

Applications of Answer Set Programming., , und . AI Mag., 37 (3): 53-68 (2016)A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)., , , und . CoRR, (2022)Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases., , und . APPIA-GULP-PRODE, Seite 271-282. (1996)Answer Set Programming., , und . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper)., , und . SEBD, Volume 2037 von CEUR Workshop Proceedings, Seite 218. CEUR-WS.org, (2017)Local Search Techniques for Disjunctive Logic Programs., , und . AI*IA, Volume 1792 von Lecture Notes in Computer Science, Seite 107-118. Springer, (1999)The KIWIS Knowledge Base Management System., , , , , , , , , und 5 andere Autor(en). CAiSE, Volume 498 von Lecture Notes in Computer Science, Seite 79-97. Springer, (1991)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , und 9 andere Autor(en). LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2011)Magic Sets for Data Integration., , und . AAAI, Seite 1528-1531. AAAI Press, (2008)Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming., , , , , , und . Theory Pract. Log. Program., 21 (3): 372-401 (2021)