A methodology for using a default and abductive reasoning system
- 1 December 1990
- journal article
- research article
- Published by Wiley in International Journal of Intelligent Systems
- Vol. 5 (5) , 521-548
- https://doi.org/10.1002/int.4550050506
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Explanation and prediction: an architecture for default and abductive reasoningComputational Intelligence, 1989
- A logical framework for default reasoningArtificial Intelligence, 1988
- A first-order conditional logic for prototypical propertiesArtificial Intelligence, 1987
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Theorist: A Logical Reasoning System for Defaults and DiagnosisPublished by Springer Nature ,1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979