Computing Facts in Non-Horn Deductive Systems
暂无分享,去创建一个
[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[2] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[3] Allen Van Gelder,et al. Negation as Failure using Tight Derivations for General Logic Programs , 1988, J. Log. Program..
[4] David Maier,et al. Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.
[5] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[6] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[7] Allen Van Gelder,et al. A message passing framework for logical query evaluation , 1986, SIGMOD '86.
[8] Catriel Beeri,et al. On the power of magic , 1987, J. Log. Program..
[9] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .
[10] Georges Gardarin,et al. Evaluation of database recursive logic programs as recurrent function series , 1986, SIGMOD '86.
[11] Laurent Vieille,et al. Recursive Axioms in Deductive Databases: The Query/Subquery Approach , 1986, Expert Database Conf..
[12] Krzysztof R. Apt,et al. Logics and Models of Concurrent Systems , 1989, NATO ASI Series.
[13] Carlo Zaniolo,et al. On the implementation of a simple class of logic queries for databases , 1985, PODS.
[14] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.
[15] Michael Kifer,et al. Filtering Data Flow in Deductive Databases , 1986, ICDT.
[16] Eliezer L. Lozinskii,et al. Evaluating Queries in Deductive Databases by Generating , 1985, IJCAI.
[17] Jack Minker,et al. On recursive axioms in deductive databases , 1983, Inf. Syst..
[18] Jack Minker,et al. Logic and Databases: A Deductive Approach , 1984, CSUR.
[19] Jeffrey D. Ullman,et al. Implementation of logical query languages for databases , 1985, TODS.
[20] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[21] John McCarthy,et al. Circumscription—a form of non-monotonic reasoning , 1987 .
[22] Lawrence J. Henschen,et al. On compiling queries in recursive first-order databases , 1984, JACM.
[23] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.