Publication:4013834

zbMath0749.68083MaRDI QIDQ4013834

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

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