Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Readings in model-based diagnosis
Readings in model-based diagnosis
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Boosting complete techniques thanks to local search methods
Annals of Mathematics and Artificial Intelligence
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
System Description: CRIL Platform for SAT
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Validation of Knowledge-Based Systems by Means of Stochastic Search
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Validation of Knowledge-Based Systems by Means of Stochastic Search
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Ten challenges in propositional reasoning and search
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Evidence for invariants in local search
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |
We propose a new computational approach to logic-based systems that should reason in a fast but logically sound and complete manner about large-scale complex critical devices and systems that can exhibit unexpected faulty behaviors. The approach is original from at least two points of view. First, it makes use of local search techniques while preserving logical deductive completeness. Second, it proves experimentally efficient for very large knowledge bases thanks to new heuristics in the use of local search techniques.