Computing protected circumscription
- 31 December 1985
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 2 (4) , 235-249
- https://doi.org/10.1016/s0743-1066(85)80002-9
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Database relations with null valuesJournal of Computer and System Sciences, 1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980