DiKe -- a model-based diagnosis kernel and its application

DOI10.1007/3-540-45422-5_31MaRDI QIDQ4797445zbMATH OpenFDO

Authors Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, M. Stumptner, Franz Wotawa

Publication date 13 March 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2174/21740440.htm

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Strategies in model-based diagnosis
• Characterizing diagnoses and systems
• scientific article; zbMATH DE number 4185075
• Design and implementation of diagnostic strategies using modal logic

Cited in

(2)

• Using FMEA models and ontologies to build diagnostic models
• DiKe

This page was built for publication: DiKe -- a model-based diagnosis kernel and its application

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4797445)