Formalizing the repair process --- extended report

DOI10.1007/BF01530742zbMath0858.68096WikidataQ59259765 ScholiaQ59259765MaRDI QIDQ1924800

Gerhard Friedrich, Georg Gottlob

Publication date: 3 December 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

model-based diagnosis

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Characterizing diagnoses and systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalizing the repair process --- extended report