Minimalism, justification and non-monotonicity in deductive databases
- 30 April 1989
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 38 (2), 290-325
- https://doi.org/10.1016/0022-0000(89)90004-4
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Closed-world databases and circumscriptionArtificial Intelligence, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980
- A relational model of data for large shared data banksCommunications of the ACM, 1970