- An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.details
|
|
Memory-limited model-based diagnosis.Patrick Rodler - 2022 - Artificial Intelligence 305 (C):103681.details
|
|
Graph-based construction of minimal models.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2022 - Artificial Intelligence 313 (C):103754.details
|
|
Diagnosing multiple intermittent failures using maximum likelihood estimation.Rui Abreu & Arjan J. C. van Gemund - 2010 - Artificial Intelligence 174 (18):1481-1497.details
|
|
Remote Agent: to boldly go where no AI system has gone before.Nicola Muscettola, P. Pandurang Nayak, Barney Pell & Brian C. Williams - 1998 - Artificial Intelligence 103 (1-2):5-47.details
|
|
Hierarchical model-based diagnosis based on structural abstraction.Luca Chittaro & Roberto Ranon - 2004 - Artificial Intelligence 155 (1-2):147-182.details
|
|
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.details
|
|
On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.details
|
|
Analysis of notions of diagnosis.Peter J. F. Lucas - 1998 - Artificial Intelligence 105 (1-2):295-343.details
|
|
A new approach to quantitative and credible diagnosis for multiple faults of components and sensors.T. Washio, M. Sakuma & M. Kitamura - 1997 - Artificial Intelligence 91 (1):103-130.details
|
|
Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks.David Poole - 1996 - Artificial Intelligence 88 (1-2):69-100.details
|
|
A spectrum of definitions for temporal model-based diagnosis.Vittorio Brusoni, Luca Console, Paolo Terenziani & Daniele Theseider Dupré - 1998 - Artificial Intelligence 102 (1):39-79.details
|
|
Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.details
|
|
First order LUB approximations: characterization and algorithms.Alvaro del Val - 2005 - Artificial Intelligence 162 (1-2):7-48.details
|
|
Removing inconsistencies in assumption-based theories through knowledge-gathering actions.Jérôme Lang & Pierre Marquis - 2001 - Studia Logica 67 (2):179-214.details
|
|
Model-based diagnostics and probabilistic assumption-based reasoning.J. Kohlas, B. Anrig, R. Haenni & P. A. Monney - 1998 - Artificial Intelligence 104 (1-2):71-106.details
|
|
A logical notion of conditional independence: properties and applications.Adnan Darwiche - 1997 - Artificial Intelligence 97 (1-2):45-82.details
|
|
Sequential model-based diagnosis by systematic search.Patrick Rodler - 2023 - Artificial Intelligence 323 (C):103988.details
|
|
Knowledge transformation and fusion in diagnostic systems.Mingsheng Ying - 2005 - Artificial Intelligence 163 (1):1-45.details
|
|
Process algebras for systems diagnosis.Luca Console, Claudia Picardi & Marina Ribaudo - 2002 - Artificial Intelligence 142 (1):19-51.details
|
|