Model-based diagnosis using structured system descriptions

Journal of Artificial Intelligence Research

Volumn 8, Issue , 1998, Pages 165-222

  Darwiche, Adnan ^a  

^a AMERICAN UNIVERSITY OF BEIRUT   (Lebanon)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000555770     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.462     Document Type: Article

References (4)

1. Barwise, J. (Ed.). (1977). Handbook of Mathematical Logic. North-Holland, Amsterdam.
2. Beglez, F., & Fujiwara, H. (1985). A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN. In Proceedings of the IEEE symposium on Circuits and Systems. http://www.cbl.ncsu.edu/www/CBL_Docs/iscas85.html.
3. Shachter, R., Andersen, S., & Szolovits, P. (1994). Global Conditioning for Probabilistic Inference in Belief Networks. In Proc. Tenth Conference on Uncertainty in AI, pp. 514-522 Seattle WA.
4. Spohn, W. (1987). Ordinal conditional functions: A dynamic theory of epistemic states. Causation in Decision, Belief Change, and Statistics; W. L. Harper and B. Skyrms, eds., 2, 105-134.