Autor der Publikation

A Speech about Generative Datalog and Non-measurable Sets.

, und . ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)

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

Model Enumeration via Assumption Literals., und . Fundam. Informaticae, 167 (1-2): 31-58 (2019)Dynamic Magic Sets and super-coherent answer set programs., und . AI Commun., 24 (2): 125-145 (2011)Enhancing Magic Sets with an Application to Ontological Reasoning., , , und . Theory Pract. Log. Program., 19 (5-6): 654-670 (2019)Anytime Computation of Cautious Consequences in Answer Set Programming., , und . Theory Pract. Log. Program., 14 (4-5): 755-770 (2014)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)Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective., und . IJCAI, Seite 2684-2690. AAAI Press, (2015)Complexity of super-coherence problems in ASP, , und . CoRR, (2012)Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation., , und . CoRR, (2022)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)