A Deductive System for Non-Monotonic Reasoning

Disjunctive Deductive Databases (DDDBs) — function-free disjunctive logic programs with negation in rule bodies allowed — have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research has been spent on issues like semantics and complexity of DDDBs, but the important area of implementing DDDBs has been less addressed so far. However, a thorough investigation thereof is a basic requirement for building systems which render previous foundational work on DDDBs useful for practice.

[1]  Kenneth A. Ross,et al.  Glue-Nail: a deductive database system , 1991, SIGMOD '91.

[2]  Jürgen Dix,et al.  Disjunctive Semantics based upon Partial and Bottom-Up Evaluation , 1995, ICLP.

[3]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

[4]  Dietmar Seipel,et al.  Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation , 1994, GI Jahrestagung.

[5]  Jürgen Dix,et al.  Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview , 1996, Logic, Action, and Information.

[6]  Luigi Palopoli,et al.  Reasoning with Minimal Models: Efficient Algorithms and Applications. , 1994, KR 1994.

[7]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[8]  Divesh Srivastava,et al.  CORAL - Control, Relations and Logic , 1992, VLDB.

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

[10]  Francesco Buccafurri,et al.  Strong and Weak Constraints in Disjunctive Datalog , 1997, LPNMR.

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

[12]  Chiaki Sakama,et al.  Possible Model Semantics for Disjunctive Databases , 1989, DOOD.

[13]  Victor W. Marek,et al.  Experimenting with Nonmonotonic Reasoning , 1995, ICLP.

[14]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[15]  Ilkka Niemelä,et al.  Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.

[16]  David Scott Warren,et al.  Computation of Stable Models and Its Integration with Logical Query Processing , 1996, IEEE Trans. Knowl. Data Eng..

[17]  Jack Minker,et al.  Circumscription and Disjunctive Logic Programming , 1991, Artificial and Mathematical Theory of Computation.

[18]  Jorge Lobo,et al.  Foundations of disjunctive logic programming , 1992, Logic Programming.

[19]  Chiaki Sakama,et al.  Embedding Circumscriptive Theories in General Disjunctive Programs , 1995, LPNMR.

[20]  V. S. Subrahmanian,et al.  WFS + Branch and Bound = Stable Models , 1995, IEEE Trans. Knowl. Data Eng..

[21]  Luigi Palopoli,et al.  Reasoning with Minimal Models: Efficient Algorithms and Applications , 1997, Artif. Intell..

[22]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

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

[24]  Sergio Greco,et al.  COMPLEX: An Object-Oriented Logic Programming System , 1992, IEEE Trans. Knowl. Data Eng..

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

[26]  P. Simons.  Eecient Implementation of the Well- Founded and Stable Model Seman- Tics , 1996 .