On indefinite databases and the closed world assumption

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 138 LNCS, Issue , 1982, Pages 292-308

  Minker, Jack ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LEAD; LOGIC PROGRAMMING; QUERY PROCESSING; SEMANTICS; THEOREM PROVING;

CLOSED WORLD ASSUMPTION; HORN CLAUSE; HORN DATABASE; LITERALS; NULL VALUE;

DATABASE SYSTEMS;

EID: 85023410475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0000066     Document Type: Conference Paper

References (23)

1. Clark, K.L. 1978, “Negation as Failure” In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 293-322.
2. Davis, M. 1980, “The Mathematics of Non-Monotonic Reasoning”, Artificial Intelligence Journal, 13, 2 (April 1980), 73-80.
3. Hewitt, C. 1972, “Descrintion and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot”, AI Memo No. 251, MIT Project MAC, Cambridge, Mass., April 1980.
4. Hill, R. 1974, “LUSH Resolution and its Completeness” DCL Memo No. 78, University of Edinburg School of Artificial Intelligence, August 1974.
5. Kowalski, R.A. and Kuehner, D. 1971, “Linear Resolution with Selection Function” Artificial Intelligence Vol. 2, 1971, 227-260.
6. Kowalski, R.A. 1978, “Logic for Data Description”, In Loqic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 77-103.
7. Loveland, D.W. 1968, “Mechanical Theorem Proving by Model Elimination”, JACM 15, (April 1968) 236-251.
8. Loveland, D.W., Stickel, M.E. 1973, “A Hole in Goal Trees: Some Guidance from Resolution Theory”, Reproduced in IEEE Transactions on Computers, C-25, April 1976, 335-341.
9. Loveland, D.W. 1978, Automated Theorem Proving: A Logical Basis, North Holland Publishing Co., New York, 1978.
10. McCarthy, J. 1980, “Circumscription-A Form of Non-Monotonic Reasoning”, Artificial Intelligence Journal, 13, 2 (April 1980), 27-39.
11. McDermott, D. and J. Doyle 1980, “Non-Monotonic Logic I”, Artificial Intelligence Journal, 13, 2 (Apirl 1980), 41-72.
12. McCarthy, J. 1980, “Addendum: Circumscription and other Non-Montonic Formalisms”, Artificial Intelligence Journal, 13, 2 (April 1980), 171-172.
13. Minker, J. and Zanon, G. 1979, “LUST Resolution: Resolution with Arbitrary Selection Function”, University of Maryland Technical Report TR-736, February 1979.
14. Nicolas, J.M. and Syre, J.C. 1974, “Natural Question Answering and Automatic Deduction in the System Syntex”, Proceedings IFIP Congress 1974, Stockholm, Sweden, August 1974.
15. Nicolas, J.M. and Gallaire, H. 1978, “Data Bases: Theory vs. Interpretation”, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y. 1978, 33-54.
16. Reiter, R. 1971, “Two Results on Ordering for Resolution with Merging and Linear Format”, JACM 18, (October 1971), 630-646.
17. Reiter, R. 1978a, “Deductive Question-Answering on Relational Data Bases”, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y. 1978, 149-177.
18. Reiter, R. 1978b, “On Closed World Data Bases”, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 55-76.
19. Reiter, R. 1980, “A Logic for Default Reasoning”, Artificial Intelligence Journal, 13, 2 (April 1980), 81-132.
20. Roussel, P. 1975, PROLOG-Manuel de Reference et de Utilisation, Groupe d’ Intelligence Artificielle, Universite d’ Air Marseilles, Luminy, September 1975.
21. van Emden, M.H. 1977, “Computation and Deductive Information Retrieval”, Department of Computer Science, University of Waterloo, Ont., Research Report CS-77-16, May 1977.
22. van Emden, M.H. and Kowalski, R.A. 1976, “The Semantics of Predicate Logic as a Programming Language” JACM 23, 4 (October 1976), 723-742.
23. Weyhrauch, R. W. 1980, “Prologomena to a Theory of Mechanized Formal Reasoning” Artificial Intelligence Journal, 13, 2 (April 1980), 133-170.