- 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
Model-based diagnosis of hardware designs
Artificial Intelligence 111 (1-2):3-39 (1999)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Verify: A program for proving correctness of digital hardware designs.Harry G. Barrow - 1984 - Artificial Intelligence 24 (1-3):437-491.
Hierarchical model-based diagnosis based on structural abstraction.Luca Chittaro & Roberto Ranon - 2004 - Artificial Intelligence 155 (1-2):147-182.
Memory-limited model-based diagnosis.Patrick Rodler - 2022 - Artificial Intelligence 305 (C):103681.
Critical observations in model-based diagnosis.Cody James Christopher & Alban Grastien - 2024 - Artificial Intelligence 331 (C):104116.
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.
Sequential model-based diagnosis by systematic search.Patrick Rodler - 2023 - Artificial Intelligence 323 (C):103988.
An event-based distributed diagnosis framework using structural model decomposition.Anibal Bregon, Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos & Belarmino Pulido - 2014 - Artificial Intelligence 210 (C):1-35.
Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis.Luigi Portinale, Diego Magro & Pietro Torasso - 2004 - Artificial Intelligence 158 (2):109-153.
Law making environment: model based system for the formulation, research and diagnosis of legislation.Carlo Biagioli - forthcoming - Artificial Intelligence and Law.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
Analytics
Added to PP
2020-12-22
Downloads
2 (#1,819,493)
6 months
1 (#1,516,603)
2020-12-22
Downloads
2 (#1,819,493)
6 months
1 (#1,516,603)
Historical graph of downloads
Citations of this work
Consistency-based diagnosis of configuration knowledge bases.Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach & Markus Stumptner - 2004 - Artificial Intelligence 152 (2):213-234.
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-68866f4b87-sz9d2 uwo