- 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
Verification of knowledge bases based on containment checking.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 101 (1-2):227-250.
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.
Markus Friedrich und Alexander Schunka, Hg.: Reporting Christian Missions in the Eighteenth Century. Communication, Culture of Knowledge and Regular Publication in a Cross-Confessional Perspective , 196 S. [REVIEW]Ulrich van der Heyden - 2017 - Zeitschrift für Religionswissenschaft 27 (2):311-312.
Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.
Measuring inconsistency with constraints for propositional knowledge bases.Kedian Mu - 2018 - Artificial Intelligence 259 (C):52-90.
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.
Consistency-based search in feature selection.Manoranjan Dash & Huan Liu - 2003 - Artificial Intelligence 151 (1-2):155-176.
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.
Analytics
Added to PP
2020-12-22
Downloads
9 (#1,560,696)
6 months
2 (#1,294,541)
2020-12-22
Downloads
9 (#1,560,696)
6 months
2 (#1,294,541)
Historical graph of downloads
Citations of this work
Memory-limited model-based diagnosis.Patrick Rodler - 2022 - Artificial Intelligence 305 (C):103681.
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.
Sequential model-based diagnosis by systematic search.Patrick Rodler - 2023 - Artificial Intelligence 323 (C):103988.
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-99fc7d78b-xhc6d uwo