Switch to: References

Add citations

You must login to add citations.
  1. An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Memory-limited model-based diagnosis.Patrick Rodler - 2022 - Artificial Intelligence 305 (C):103681.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Graph-based construction of minimal models.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2022 - Artificial Intelligence 313 (C):103754.
    Download  
     
    Export citation  
     
    Bookmark  
  • Diagnosing multiple intermittent failures using maximum likelihood estimation.Rui Abreu & Arjan J. C. van Gemund - 2010 - Artificial Intelligence 174 (18):1481-1497.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Hierarchical model-based diagnosis based on structural abstraction.Luca Chittaro & Roberto Ranon - 2004 - Artificial Intelligence 155 (1-2):147-182.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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.
    We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or flipping a literal (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Analysis of notions of diagnosis.Peter J. F. Lucas - 1998 - Artificial Intelligence 105 (1-2):295-343.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks.David Poole - 1996 - Artificial Intelligence 88 (1-2):69-100.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • First order LUB approximations: characterization and algorithms.Alvaro del Val - 2005 - Artificial Intelligence 162 (1-2):7-48.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Removing inconsistencies in assumption-based theories through knowledge-gathering actions.Jérôme Lang & Pierre Marquis - 2001 - Studia Logica 67 (2):179-214.
    In this paper, the problem of purifying an assumption-based theory KB, i.e., identifying the right extension of KB using knowledge-gathering actions (tests), is addressed. Assumptions are just normal defaults without prerequisite. Each assumption represents all the information conveyed by an agent, and every agent is associated with a (possibly empty) set of tests. Through the execution of tests, the epistemic status of assumptions can change from "plausible" to "certainly true", "certainly false" or "irrelevant", and the KB must be revised so (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A logical notion of conditional independence: properties and applications.Adnan Darwiche - 1997 - Artificial Intelligence 97 (1-2):45-82.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Sequential model-based diagnosis by systematic search.Patrick Rodler - 2023 - Artificial Intelligence 323 (C):103988.
    Download  
     
    Export citation  
     
    Bookmark  
  • Knowledge transformation and fusion in diagnostic systems.Mingsheng Ying - 2005 - Artificial Intelligence 163 (1):1-45.
    Download  
     
    Export citation  
     
    Bookmark  
  • Process algebras for systems diagnosis.Luca Console, Claudia Picardi & Marina Ribaudo - 2002 - Artificial Intelligence 142 (1):19-51.
    Download  
     
    Export citation  
     
    Bookmark   3 citations