Explanatory diagnoses and their characterization by circumscription-Reference-Cited by-同舟云学术

Explanatory diagnoses and their characterization by circumscription

Published:1994-03 Issue:1-4 Volume:11 Page:75-96
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Besnard Philippe,Cordier Marie -Odile

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/article/10.1007/BF01530738/fulltext.html

Reference18 articles.

1. Ph. Besnard,An Introduction to Default Logic (Springer-Verlag, 1989).

2. L. Console, D.T. Dupr� and P. Torasso, A theory of diagnosis for incomplete causal models,Proc. 11th IJCAI Conf., Detroit, 1989, pp. 1311?1317.

3. L. Console, D.T. Dupr� and P. Torasso, A completion semantics for object-level abduction,Proc. AAAI Symp. on Automated Abduction, Stanford, 1990, pp. 72?76.

4. L. Console and P. Torasso, Integrating models of the correct behavior into abductive diagnosis,Proc. 9th ECAI Conf. Stockholm, 1990, pp. 160?166.

5. R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24 (1984) 347?410.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Diagnosis and Supervision: Model-Based Approaches;A Guided Tour of Artificial Intelligence Research;2020

2. Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming;Journal of Artificial Intelligence Research;2012-04-24

3. Process algebras for systems diagnosis;Artificial Intelligence;2002-11

4. Inferring Causal Explanations;Symbolic and Quantitative Approaches to Reasoning and Uncertainty;1999

5. A spectrum of definitions for temporal model-based diagnosis;Artificial Intelligence;1998-06