( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The DLV System for Knowledge Representation and Reasoning

, , , , , , и . CoRR, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Waltraud Pfeifer

Hellmut Pfeifer

Wolf Pfeifer

Max Pfeifer

Werner Pfeifer

 

Другие публикации лиц с тем же именем

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