Results on translating defaults to circumscription
- 30 April 1987
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 32 (1) , 131-146
- https://doi.org/10.1016/0004-3702(87)90064-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Completeness results for circumscriptionArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Non-monotonic logic IArtificial Intelligence, 1980
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980