Abduction, Argumentation and Bi-Disjunctive Logic Programs
暂无分享,去创建一个
[1] Phan Minh Dung,et al. A Fixpoint Approach to Declarative Semantics of Logic Programs , 1989, NACLP.
[2] Alberto Torres. Negation as Failure to Support , 1993, LPNMR.
[3] Chandrabose Aravindan. An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.
[4] Chiaki Sakama,et al. Possible Model Semantics for Disjunctive Databases , 1989, DOOD.
[5] Jorge Lobo,et al. Generalized disjunctive well-founded semantics for logic programs , 2005, Annals of Mathematics and Artificial Intelligence.
[6] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[7] Piero A. Bonatti,et al. Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs , 1995, J. Log. Program..
[8] Vladimir Lifschitz,et al. From Disjunctive Programs to Abduction , 1994, NMELP.
[9] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..
[10] Chiaki Sakama,et al. On the Equivalence between Disjunctive and Abductive Logic Programs , 1994, ICLP.
[11] Teodor C. Przymusinski. Stationary Semantics for Disjunctive Logic Programs and Deductive Databases , 1990, NACLP.
[12] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[13] Haim Gaifman,et al. Semantics of Logic Programs , 1990, ICLP.
[14] François Bry,et al. Negation in Logic Programming: A Formalization in Constructive Logic , 1990, IS/KI.
[15] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.
[16] Paolo Mancarella,et al. Negation as Stable Hypotheses , 1991, LPNMR.
[17] José Júlio Alferes,et al. An Argumentation Theoretic Semantics Based on Non-Refutable Falsity , 1994, NMELP.
[18] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[19] Phan Minh Dung,et al. An Argumentation-Theoretic Foundations for Logic Programming , 1995, J. Log. Program..
[20] Francesca Toni,et al. An Assumption-Based Framework for Non-Monotonic Reasoning , 1993, LPNMR.
[21] Paolo Mancarella,et al. Generalized Stable Models: A Semantics for Abduction , 1990, ECAI.
[22] Robert A. Kowalski,et al. Abduction Compared with Negation by Failure , 1989, ICLP.
[23] Jürgen Dix,et al. Characterizations of the Disjunctive Stable Semantics by Partial Evaluation , 1997, J. Log. Program..
[24] Jack Minker,et al. Overview of disjunctive logic programming , 1994, Annals of Mathematics and Artificial Intelligence.
[25] Jack Minker,et al. Circumscription and Disjunctive Logic Programming , 1991, Artificial and Mathematical Theory of Computation.
[26] Jorge Lobo,et al. Foundations of disjunctive logic programming , 1992, Logic Programming.
[27] Jack Minker,et al. A Fixpoint Semantics for Disjunctive Logic Programs , 1990, J. Log. Program..
[28] Kenneth A. Ross,et al. The Well Founded Semantics for Disjunctive Logic Programs , 1989, DOOD.
[29] Gerhard Brewka. An Abductive Framework for Generalized Logic Programs , 1993, LPNMR.
[30] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.