Physical Impossibility Instead of Fault Models

Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990

Volumn , Issue , 1990, Pages 331-336

  Friedrich, Gerhard ^a   Gottlob, Georg ^a   Nejdl, Wolfgang ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

DIAGNOSIS STRATEGIES; EXPONENTIALS; FAULT MODEL; HORN CLAUSE; MEASUREMENT STRATEGIES;

LOGIC PROGRAMMING;

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

References (6)

1. Tom Bylander, Dean Allemang, Michael C. Tanner, and John R. Josephson. Some results concerning the computational complexity of abduction. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 44-54, Toronto, May 1989. Morgan Kaufmann Publishers, Inc.
2. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97-130, 1987.
3. Johan de Kleer and Brian C. Williams. Diagnosis with behavioral modes. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1324-1330, Detroit, August 1989. Morgan Kaufmann Publishers, Inc.
4. Oskar Dressier and Adam Farquhar. Problem solver control over the ATMS. In Proceedings of the German Workshop on Artificial Intelligence, pages 17-26, Eringerfeld, September 1989. Springer-Verlag.
5. Gerhard Friedrich and Wolfgang Nejdl. MOMO - Model-based diagnosis for everybody. In Proceedings of the IEEE Conference on Artificial Intelligence Applications, Santa Barbara, March 1990.
6. Peter Struss and Oskar Dressier. Physical negation - Integrating fault models into the general diagnostic engine. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1318-1323, Detroit, August 1989. Morgan Kaufmann Publishers, Inc.