Intelligent Query Answering in Rule Based Systems

[1]  John Grant,et al.  Foundations of Semantic Query Optimization for Deductive Databases , 1988, Foundations of Deductive Databases and Logic Programming..

[2]  Paris C. Kanellakis,et al.  Logic Programming and Parallel Complexity , 1986, Foundations of Deductive Databases and Logic Programming..

[3]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[4]  Richard Hull.  Finitely Specifiable Implicational Dependency Families , 1984, JACM.

[5]  Michael J. Maher,et al.  Closures and Fairness in the Semantics of Programming Logic , 1984, Theor. Comput. Sci..

[6]  Jack Minker,et al.  On recursive axioms in deductive databases , 1983, Inf. Syst..

[7]  Anthony C. Klug,et al.  Determining View dependencies using tableaux , 1982, TODS.