Autor der Publikation

Stable Model Semantics and its Computation for Ordered Logic Programs.

, und . ECAI, Seite 92-96. John Wiley and Sons, (1992)

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)DLV - A System for Declarative Problem Solving, , , , und . CoRR, (2000)Design and implementation of aggregate functions in the DLV system., , , , und . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)On Weighted Hypertree Decompositions., , und . SEBD, Seite 54-61. (2004)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)Reasoning over Ontologies with DLV., , , , , , , , , und 5 andere Autor(en). IC3K, Volume 1222 von Communications in Computer and Information Science, Seite 114-136. Springer, (2018)Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming., , , , , , und . Theory Pract. Log. Program., 21 (3): 372-401 (2021)