The extended closed world assumption and its relationship to parallel circumscription
- 1 June 1985
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 133-139
- https://doi.org/10.1145/6012.15410
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Negation as failure: Careful closure procedureArtificial Intelligence, 1986
- Closed-world databases and circumscriptionArtificial Intelligence, 1985
- Deduction in non-Horn databasesJournal of Automated Reasoning, 1985
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980