Gerald Pfeifer
Affiliations:- Vienna University of Technology, Austria
According to our database1,
Gerald Pfeifer
authored at least 39 papers
between 1997 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2011
Artif. Intell., 2011
2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
2008
Theory Pract. Log. Program., 2008
2007
Ann. Math. Artif. Intell., 2007
2006
ACM Trans. Comput. Log., 2006
Fundam. Informaticae, 2006
2004
ACM Trans. Comput. Log., 2004
Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
2003
Theory Pract. Log. Program., 2003
Artif. Intell., 2003
A logic programming approach to knowledge-state planning, II: The DLV<sup>K</sup> system.
Artif. Intell., 2003
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
Proceedings of the IJCAI-03, 2003
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Answer Set Programming, 2003
Solving Hard Disjunctive Logic Programs Faster (Sometimes).
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Pruning operators for answer set programming systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Experimenting with Heuristics for Answer Set Programming.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Proceedings of the Answer Set Programming, 2001
2000
Using the dlv System for Planning and Diagnostic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000
1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
1998
The KR System dlv: Progress Report, Comparisons and Benchmarks.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998
1997
The dlv System: Model Generator and Advanced Frontends (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
The Architecture of a Disjunctive Deductive Database System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997