Coping with indefinite and negative data in deductive databases: A survey
- 31 December 1987
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 2 (4) , 259-284
- https://doi.org/10.1016/0169-023x(87)90022-x
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Negation as failure: Careful closure procedureArtificial Intelligence, 1986
- Making believers out of computersArtificial Intelligence, 1986
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- On the satisfiability of circumscriptionArtificial Intelligence, 1986
- Closed-world databases and circumscriptionArtificial Intelligence, 1985
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A relational model of data for large shared data banksCommunications of the ACM, 1970