Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Artificial Intelligence
Conditional logics of normality: a modal approach
Artificial Intelligence
The method of hypersequents in the proof theory of propositional non-classical logics
Logic: from foundations to applications
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Belief functions and default reasoning
Artificial Intelligence
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
Plausibility measures and default reasoning
Journal of the ACM (JACM)
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning
Journal of the ACM (JACM)
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
System JLZ: rational default reasoning by minimal ranking constructions
Journal of Applied Logic - Special issue on combining probability and logic
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Analytic tableau calculi for KLM rational logic R
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Analytic tableaux for KLM preferential and cumulative logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A nonmonotonic extension of KLM preferential logic P
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Nested sequent calculi for conditional logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Sequent systems for lewis' conditional logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative, and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered and we study their complexity.