Modeling when connections are the problem

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 310-317

  De Kleer, Johan ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSTIC REASONING; DIGITAL SYSTEM; EXPONENTIAL NUMBERS; FAILURE POSSIBILITY; FLUID LEAKAGE; MODEL COMPONENTS; POST PROCESSING; PRECISE LEVELS;

ARTIFICIAL INTELLIGENCE;

EID: 84880908113     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. C. Boettcher, P. Dague, and P. Taillibert. Hidden interactions in analog circuits. In Suhayya Abu-Hakima, editor, Working Papers of the Seventh International Workshop on Principles of Diagnosis, pages 36-43. Val Morin, Quebec, Canada, October 1996.
2. F. Brglez and H. Fujiwara. A neutral netlist of 10 combinational benchmark circuits and a target translator in fortran. In Proc. IEEE Int. Symposium on Circuits and Systems, pages 695-698, June 1985.
3. R. Davis. Diagnostic reasoning based on structure and behavior. Artificial Intelligence, 24(1):347-410, 1984.
4. Also in: Bobrow, D. (ed.) Qualitative Reasoning about Physical Systems (North-Holland, Amsterdam, 1984 / MIT Press, Cambridge, Mass., 1985).
5. J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, April 1987.
6. Also in: Readings in NonMonotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufmann, 1987), 280-297.
7. J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proc. 11th IJCAI, pages 1324-1330, Detroit, 1989.
8. J. de Kleer, A. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2-3):197-222, 1992.
9. J. de Kleer. A hybrid truthmaintenance system. PARC Technical Report, January 1992.
10. W. C. Hamscher, J. de Kleer, and L. Console, editors. Readings in Model-based Diagnosis. Morgan Kaufmann, San Mateo, Calif., August 1992.
11. J. Mauss, V. May, and M. Tatar. Towards model-based engineering: Failure analysis with mds. In Workshop on Knowledge-Based Systems for Model-Based Engineering, European Conference on AI (ECAI- 2000, 2000.
12. N.A.Snooke and C.J.Price. Challenges for qualitative electrical reasoning in automotive circuit simulation. In Proceedings 11th international workshop on Qualitative Reasoning, pages 165-180, Cortona, Italy, June 1997.
13. C Preist and B. Welham. Modelling bridge faults for diagnosis in electronic circuits. In Working Notes First International Workshop on Principles of Diagnosis, pages 69-73, Stanford, 1990.
14. O. Raiman, J. de Kleer, V. Saraswat, and M. H. Shirley. Characterizing non-intermittent faults. In Proc. 9th National Conf. on Artificial Intelligence, pages 849-854, Anaheim, CA, July 1991.
15. P. Struss, A. Malik, and M. Sachenbacher. Qualitative modeling is the key. In 6th International Workshop on Principles of Diagnosis. Goslar, Germany, 1995.
16. B. C. Williams and J. Ragno. Conflict-directed a*and its role in model-based embedded systems. Journal of Discrete Applied Math, Special Issue on Theory and Applications of Satisfiability Testing, 2002.