( en | de | ru )

 

Disambiguierung von "Pfeifer, Gerald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Architecture of a Disjunctive Deductive Database System.

, , , , und . APPIA-GULP-PRODE, Seite 141-152. (1997)

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.

Roman Pfeifer

Christian Pfeifer

Günter Pfeifer

Michael Pfeifer

Angela Pfeifer

 

Weitere Publikationen von Autoren mit dem selben Namen

A Deductive System for Non-Monotonic Reasoning., , , , und . LPNMR, Volume 1265 von Lecture Notes in Computer Science, Seite 364-375. Springer, (1997)Experimenting with Heuristics for Answer Set Programming., , und . IJCAI, Seite 635-640. Morgan Kaufmann, (2001)Using the dlv System for Planning and Diagnostic Reasoning., , , , und . WLP, Volume 90 von GMD Report, Seite 125-134. (2000)Enhancing disjunctive logic programming systems by SAT checkers., , und . Artif. Intell., 151 (1-2): 177-212 (2003)The Architecture of a Disjunctive Deductive Database System., , , , und . APPIA-GULP-PRODE, Seite 141-152. (1997)Semantics and complexity of recursive aggregates in answer set programming., , und . Artif. Intell., 175 (1): 278-298 (2011)Pruning Operators for Disjunctive Logic Programming Systems., , , und . Fundam. Informaticae, 71 (2-3): 183-214 (2006)Pushing Goal Derivation in DLP Computations., , und . LPNMR, Volume 1730 von Lecture Notes in Computer Science, Seite 177-191. Springer, (1999)The Disjunctive Datalog System DLV., , , , , und . Datalog, Volume 6702 von Lecture Notes in Computer Science, Seite 282-301. Springer, (2010)System Description: DLV., , , , , , und . LPNMR, Volume 2173 von Lecture Notes in Computer Science, Seite 424-428. Springer, (2001)