( en | de | ru )

 

Disambiguation of "Pfeifer, Gerald"

Author of the publication

copydeleteadd this publication to your clipboard
Answer Set Planning Under Action Costs.

, , , , and . J. Artif. Intell. Res., (2003)

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. You can also use the button next to the name to display some publications already assigned to the person.

Christian Pfeifer

Günter Pfeifer

Michael Pfeifer

Michael Pfeifer

Dietmar Pfeifer

 

Other publications of authors with the same name

DLV - A System for Declarative Problem Solving, , , , and . CoRR, (2000)Design and implementation of aggregate functions in the DLV system., , , , and . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , and . WLP, Ludwig Maximilians Universität München, (1997)Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity., , and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 200-212. Springer, (2004)Computing preferred answer sets by meta-interpretation in answer set programming., , , and . Theory Pract. Log. Program., 3 (4-5): 463-498 (2003)Pruning operators for answer set programming systems., , , and . NMR, page 200-209. (2002)Aggregate Functions in DLV., , , , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)The KR System dlv: Progress Report, Comparisons and Benchmarks., , , , and . KR, page 406-417. Morgan Kaufmann, (1998)Optimizing the Computation of Heuristics for Answer Set Programming Systems., , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 295-308. Springer, (2001)System Description: DLV with Aggregates., , , , , and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 326-330. Springer, (2004)