Autor der Publikation

Modular Paracoherent Answer Sets.

, , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 457-471. Springer, (2014)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Datalog Development Tools - (Extended Abstract)., , , , und . Datalog, Volume 7494 von Lecture Notes in Computer Science, Seite 81-85. Springer, (2012)Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs., , , und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2009)Complexity Results for Abductive Logic Programming., , und . LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 1-14. Springer, (1995)Dynamic Magic Sets for Programs with Monotone Recursive Aggregates., , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 148-160. Springer, (2011)Magic-Sets for Datalog with Existential Quantifiers., , , , und . Datalog, Volume 7494 von Lecture Notes in Computer Science, Seite 31-43. Springer, (2012)Enhancing a DLP System for Advanced Database Applications., , , und . RR, Volume 5341 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2008)