Approaches to abductive reasoning: an overview
- 1 April 1993
- journal article
- Published by Springer Nature in Artificial Intelligence Review
- Vol. 7 (2) , 109-152
- https://doi.org/10.1007/bf00849080
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- A spectrum of logical definitions of model‐based diagnosis1Computational Intelligence, 1991
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- A logical framework for default reasoningArtificial Intelligence, 1988
- A logic-based calculus of eventsNew Generation Computing, 1986
- Causes for events: Their computation and applicationsPublished by Springer Nature ,1986
- A logic for default reasoningArtificial Intelligence, 1980
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980