Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Free Variable Tableaux for Propositional Modal Logics
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the "lean" methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.