A logical framework for default reasoning
- 31 August 1988
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 36 (1), 27-47
- https://doi.org/10.1016/0004-3702(88)90077-x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A first-order conditional logic for prototypical propertiesArtificial Intelligence, 1987
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Non-monotonic logic IArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979