A framework for controlling model-based diagnosis systems with multiple actions
- 1 March 1994
- journal article
- research article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 11 (1) , 241-261
- https://doi.org/10.1007/bf01530744
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- Modeling digital circuits for troubleshootingArtificial Intelligence, 1991
- Theory contraction through base contractionJournal of Philosophical Logic, 1991
- Belief Revision, Diagnosis and RepairPublished by Springer Nature ,1991
- A new diagnosis approach by deduction and abductionPublished by Springer Nature ,1990
- Characterizing diagnosesPublished by Springer Nature ,1990
- On the status of the postulate of recovery in the logic of theory changeJournal of Philosophical Logic, 1987
- Diagnosing multiple faultsArtificial Intelligence, 1987
- A logic for default reasoningArtificial Intelligence, 1980