Two-Valued Logic Programs

We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing actions.

[1]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[2]  Tran Cao Son,et al.  Approximation of action theories and its application to conformant planning , 2011, Artif. Intell..

[3]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[4]  Michal Lifschitz.  The Common Core of Action Languages B and C , 2012 .

[5]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[6]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[7]  Vladimir Lifschitz,et al.  Representing Transition Systems by Logic Programs , 1999, LPNMR.

[8]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[9]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[10]  N. McCain.  Causality in commonsense reasoning about actions , 1997 .

[11]  Vladimir Lifschitz,et al.  Answer Set Programming , 2019 .

[12]  Michael Gelfond,et al.  Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..

[13]  I. Niemelä,et al.  Extending the Smodels system with cardinality and weight constraints , 2001 .

[14]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[15]  Michael GelfondComputer.  Logic Programming and Knowledge Representation , 1997, Lecture Notes in Computer Science.

[16]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[17]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[18]  Joohyung Lee,et al.  Stable Models of Formulas with Intensional Functions , 2012, KR.

[19]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[20]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[21]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[22]  Michael Gelfond,et al.  Answer Sets , 2008, Handbook of Knowledge Representation.