Gerald Pfeifer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A logic programming approach to knowledge-state planning, semantics and complexity ACM Transactions on Computational Logic	2017-07-12	Paper
The DLV system for knowledge representation and reasoning ACM Transactions on Computational Logic	2017-07-12	Paper
Semantics and complexity of recursive aggregates in answer set programming Artificial Intelligence	2011-06-17	Paper
Design and implementation of aggregate functions in the DLV system Theory and Practice of Logic Programming	2008-12-18	Paper
On look-ahead heuristics in disjunctive logic programming Annals of Mathematics and Artificial Intelligence	2008-04-21	Paper
Logic Programming and Nonmonotonic Reasoning Lecture Notes in Computer Science	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning Lecture Notes in Computer Science	2007-11-07	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 5043340 (Why is no real title available?)	2006-08-03	Paper
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system Artificial Intelligence	2006-02-07	Paper
Enhancing disjunctive logic programming systems by SAT checkers Artificial Intelligence	2006-02-07	Paper
Computing preferred answer sets by meta-interpretation in Answer Set Programming Theory and Practice of Logic Programming	2004-08-19	Paper
scientific article; zbMATH DE number 2000818 (Why is no real title available?)	2003-11-04	Paper
scientific article; zbMATH DE number 1931659 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1931693 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1931694 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1890627 (Why is no real title available?)	2003-05-21	Paper
scientific article; zbMATH DE number 1890626 (Why is no real title available?)	2003-05-18	Paper
scientific article; zbMATH DE number 1890620 (Why is no real title available?)	2003-04-02	Paper
Declarative problem-solving using the DLV system	2002-02-27	Paper
scientific article; zbMATH DE number 1696837 (Why is no real title available?)	2002-01-28	Paper

Research outcomes over time

This page was built for person: Gerald Pfeifer