Autor der Publikation

Progress Report on the Disjunctive Deductive Database System dlv.

, , , , und . FQAS, Volume 1495 von Lecture Notes in Computer Science, Seite 148-163. Springer, (1998)

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

Answer Set Planning Under Action Costs, , , , und . CoRR, (2011)DLV - A System for Declarative Problem Solving, , , , und . CoRR, (2000)The DLV System for Knowledge Representation and Reasoning, , , , , , und . CoRR, (2002)Design and implementation of aggregate functions in the DLV system., , , , und . TPLP, 8 (5-6): 545-580 (2008)Planning under Incomplete Knowledge., , , , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 807-821. Springer, (2000)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , und . WLP, Ludwig Maximilians Universität München, (1997)The DLVK Planning System: Progress Report., , , , und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 541-544. Springer, (2002)Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity., , und . JELIA, Volume 3229 von Lecture Notes in Computer Science, Seite 200-212. Springer, (2004)The Diagnosis Frontend of the dlv System., , , und . AI Commun., 12 (1-2): 99-111 (1999)The Architecture of a Disjunctive Deductive Database System., , , , und . APPIA-GULP-PRODE, Seite 141-152. (1997)