Belief Revision in Non-Monotonic Reasoning

[1]  Teodor C. Przymusinski.  Autoepistemic Logics of Closed Beliefs and Logic Programming , 1991, LPNMR.

[2]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[3]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[4]  José Júlio Alferes,et al.  On Logic Program Semantics with Two Kinds of Negation , 1992, JICSLP.

[5]  José Júlio Alferes,et al.  Non-Monotonic Reasoning with Logic Programming , 1993, J. Log. Program..

[6]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[7]  José Júlio Alferes,et al.  Diagnosis and Debugging as Contradiction Removal , 1993, LPNMR.

[8]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

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

[10]  José Júlio Alferes,et al.  SLX - A Top-down Derivation Procedure for Programs with Explicit Negation , 1994, ILPS.

[11]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[12]  José Júlio Alferes,et al.  Contradiction Removal within Well Founded Semantics , 1991, LPNMR.

[13]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[14]  José Júlio Alferes.  Semantics of logic programs with explicit negation , 1993 .

[15]  R. Reiter.  On Closed World Data Bases , 1987, Logic and Data Bases.

[16]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[17]  José Júlio Alferes,et al.  Contradiction: When Avoidance Equals Removal - Part II , 1993, ELP.

[18]  Jack Minker,et al.  On Indefinite Databases and the Closed World Assumption , 1987, CADE.

[19]  Van Gelder,et al.  A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs , 1994 .

[20]  José Júlio Alferes,et al.  The Extended Stable Models of Contradiction Removal Semantics , 1991, EPIA.

[21]  José Júlio Alferes,et al.  Belief, Provability, and Logic Programs , 1994, JELIA.

[22]  Teodor C. Przymusinski.  Autoepistemic Logic of Knowledge and Beliefs , 1997, Artif. Intell..

[23]  Vladimir Lifschitz.  Minimal Belief and Negation as Failure , 1994, Artif. Intell..

[24]  Teodor C. Przymusinski.  A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs , 1994, AAAI.

[25]  Teodor C. Przymusinski,et al.  On the Relationship Between Circumscription and Negation as Failure , 1989, Artif. Intell..

[26]  José Júlio Alferes,et al.  Diagnosis and Debugging as Contradiction Removal in Logic Programs , 1993, EPIA.

[27]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[28]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[29]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[30]  José Júlio Alferes,et al.  Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming , 1996, JELIA.