( en | de | ru )

 

Disambiguierung von "Pfeifer, Gerald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Disjunctive Datalog System DLV.

, , , , , und . Datalog, Volume 6702 von Lecture Notes in Computer Science, Seite 282-301. Springer, (2010)

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.

Manfred Pfeifer

Heimo Pfeifer

Eva Pfeifer

Kord Pfeifer

Hellmut Pfeifer

 

Weitere Publikationen von Autoren mit dem selben Namen

The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , und . WLP, Ludwig Maximilians Universität München, (1997)The DLV System for Knowledge Representation and Reasoning, , , , , , und . CoRR, (2002)Design and implementation of aggregate functions in the DLV system., , , , und . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)DLV - A System for Declarative Problem Solving, , , , und . CoRR, (2000)The Diagnosis Frontend of the dlv System., , , und . AI Commun., 12 (1-2): 99-111 (1999)Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity., , und . JELIA, Volume 3229 von Lecture Notes in Computer Science, Seite 200-212. Springer, (2004)Semantics and complexity of recursive aggregates in answer set programming., , und . Artif. Intell., 175 (1): 278-298 (2011)A Deductive System for Non-Monotonic Reasoning., , , , und . LPNMR, Volume 1265 von Lecture Notes in Computer Science, Seite 364-375. Springer, (1997)Pruning Operators for Disjunctive Logic Programming Systems., , , und . Fundam. Informaticae, 71 (2-3): 183-214 (2006)Experimenting with Heuristics for Answer Set Programming., , und . IJCAI, Seite 635-640. Morgan Kaufmann, (2001)