Publication:4013834

zbMath0749.68083MaRDI QIDQ4013834

Philippe Dagne, Pierre Luciani, Philippe Devès, Patrick Taillibert, Olivier Jehl

Publication date: 27 September 1992

zbMATH Keywords

truth maintenance system; model-based diagnosis of continuous dynamic physical systems

Mathematics Subject Classification ID

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

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

A spectrum of definitions for temporal model-based diagnosis