Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs

Disjunctive Logic Programming (DLP) under the answer set semantics is an advanced formalism for knowledge representation and reasoning. It is generally considered more expressive than normal (disjunction-free) Logic Programming, whose expressiveness is limited to properties decidable in NP.

[1]  Jia-Huai You,et al.  Unfolding partiality and disjunctions in stable model semantics , 2000, TOCL.

[2]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[3]  G. Brewka.  Principles of Knowledge Representation , 1996 .

[4]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[5]  Gerald Pfeifer,et al.  Enhancing disjunctive logic programming systems by SAT checkers , 2003, Artif. Intell..

[6]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[7]  Georg Gottlob,et al.  On the computational cost of disjunctive logic programming: Propositional case , 1995, Annals of Mathematics and Artificial Intelligence.

[8]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[9]  Wolfgang Faber,et al.  Pruning operators for answer set programming systems , 2002, NMR.

[10]  Wolfgang Faber,et al.  Experimenting with Heuristics for Answer Set Programming , 2001, IJCAI.

[11]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[12]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[13]  Francesco Scarcello,et al.  Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..

[14]  Teodor C. Przymusinski.  The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..

[15]  Miroslaw Truszczynski,et al.  aspps - An Implementation of Answer-Set Programming with Propositional Schemata , 2001, LPNMR.

[16]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[17]  Fangzhen Lin,et al.  ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..

[18]  Gerald Pfeifer,et al.  Progress Report on the Disjunctive Deductive Database System dlv , 1998, FQAS.

[19]  V. Lifschitz,et al.  Foundations of Logic Programming , 1997 .