Author:
Baumgartner Peter,Fröhlich Peter,Furbach Ulrich,Nejdl Wolfgang
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. P. Baumgartner, U. Furbach, and I. Niemelä. Hyper Tableaux. In JELIA 96. European Workshop on Logic in AI, Springer, LNCS, 1996.
2. Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133–141, 1991.
3. T. S-C. Chou and M. Winslett. A model-based belief revision system. Journal of Automated Reasoning, 12:157–208, 1994.
4. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.
5. Peter Fröhlich and Wolfgang Nejdl. A model-based reasoning approach to circumscription. In Proceedings of the 12th European Conference on Artificial Intelligence, 1996.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献