scientific article; zbMATH DE number 4185062
From MaRDI portal
Publication:5750429
zbMath0718.68072MaRDI QIDQ5750429
Daniele Theseider Dupré, Pietro Torasso, Luca Console
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (8)
Explanatory diagnoses and their characterization by circumscription ⋮ Theory diagnoses: A concise characterization of faulty systems ⋮ Semantics and complexity of abduction from default theories ⋮ Bayesian model-based diagnosis ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Analysis of notions of diagnosis ⋮ An improved model-based method to test circuit faults ⋮ Process algebras for systems diagnosis.
This page was built for publication: