On Closed World Data Bases
暂无分享,去创建一个
[1] Michael Adamowicz,et al. Data base systems , 1976 .
[2] Jean-Marie Nicolas,et al. Data Base: Theory vs. Interpretation , 1977, Logic and Data Bases.
[3] Jack Minker,et al. Logic and Data Bases , 1978, Springer US.
[4] Raymond Reiter. An Approach to Deductive Question-Answering , 1977 .
[5] M. H. van Emden,et al. Computation and Deductive Information Retrieval , 1977, Formal Description of Programming Concepts.
[6] Lawrence J. Henschen,et al. Unit Refutations and Horn Sets , 1974, JACM.
[7] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[8] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[9] Carl Hewitt,et al. Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .
[10] Jean-Marie Nicolas,et al. Natural Language Question Answering and Automatic Deduction in the System Syntex , 1974, IFIP Congress.
[11] Raymond Reiter,et al. Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.
[12] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.