- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence 152 (2):213-234 (2004)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Consistency restoration and explanations in dynamic CSPs—Application to configuration.Jérôme Amilhastre, Hélène Fargier & Pierre Marquis - 2002 - Artificial Intelligence 135 (1-2):199-234.
Verification of knowledge bases based on containment checking.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 101 (1-2):227-250.
Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.
Consistency-based search in feature selection.Manoranjan Dash & Huan Liu - 2003 - Artificial Intelligence 151 (1-2):155-176.
From statistical knowledge bases to degrees of belief.Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Artificial Intelligence 87 (1-2):75-143.
Ordered binary decision diagrams as knowledge-bases.Takashi Horiyama & Toshihide Ibaraki - 2002 - Artificial Intelligence 136 (2):189-213.
A consistency-based approach for belief change.James P. Delgrande & Torsten Schaub - 2003 - Artificial Intelligence 151 (1-2):1-41.
Hierarchical model-based diagnosis based on structural abstraction.Luca Chittaro & Roberto Ranon - 2004 - Artificial Intelligence 155 (1-2):147-182.
Analytics
Added to PP
2020-12-22
Downloads
7 (#1,639,113)
6 months
3 (#1,472,536)
2020-12-22
Downloads
7 (#1,639,113)
6 months
3 (#1,472,536)
Historical graph of downloads
Citations of this work
Memory-limited model-based diagnosis.Patrick Rodler - 2022 - Artificial Intelligence 305 (C):103681.
Sequential model-based diagnosis by systematic search.Patrick Rodler - 2023 - Artificial Intelligence 323 (C):103988.
The role of ontologies in creating and maintaining corporate knowledge: A case study from the aero industry.Derek Sleeman, Suraj Ajit, David W. Fowler & David Knott - 2008 - Applied ontology 3 (3):151-172.
References found in this work
A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
A correction to the algorithm in reiter's theory of diagnosis.Russell Greiner, Barbara A. Smith & Ralph W. Wilkerson - 1989 - Artificial Intelligence 41 (1):79-88.
Model-based diagnosis of hardware designs.Gerhard Friedrich, Markus Stumptner & Franz Wotawa - 1999 - Artificial Intelligence 111 (1-2):3-39.
On the relationship between model-based debugging and program slicing.Franz Wotawa - 2002 - Artificial Intelligence 135 (1-2):125-143.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-qfrlh dc2