Closed-world databases and circumscription
- 1 November 1985
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 27 (2), 229-235
- https://doi.org/10.1016/0004-3702(85)90055-4
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980