A theory of diagnosis from first principles
Artificial Intelligence
A machine program for theorem-proving
Communications of the ACM
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
Exploiting independence in a decentralised and incremental approach of diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Diagnosability testing with satisfiability algorithms
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Diagnosers and diagnosability of succinct transition systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Incremental Diagnosis of DES by Satisfiability
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
New Encodings of Pseudo-Boolean Constraints into CNF
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Explicit-state abstraction: a new method for generating heuristic functions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Scalable formula decomposition for propositional satisfiability
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Heuristics for planning with SAT
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Diagnosability of pushdown systems
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Alarm processing with model-based diagnosis of event discrete systems
Proceedings of the AI for an Intelligent Planet
Belief management for high-level robot programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Planning as satisfiability: Heuristics
Artificial Intelligence
Multi-agent epistemic explanatory diagnosis via reasoning about actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
The diagnosis of a discrete-event system is the problem of computing possible behaviors of the system given observations of the actual behavior, and testing whether the behaviors are normal or faulty. We show how the diagnosis problems can be translated into the propositional satisfiability problem (SAT) and solved by algorithms for SAT. Our experiments demonstrate that current SAT algorithms can solve much bigger diagnosis problems than traditional diagnosis algorithms can.