KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning. 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.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Biskup, Joachim; Tadros, Cornelia: Preserving confidentiality while reacting on iterated queries and belief revisions (2015)
- Alenda, Régis; Olivetti, Nicola; Pozzato, Gian Luca: CSL-\ssflean: a theorem-prover for the logic of comparative concept similarity (2010)
- Pozzato, Gian Luca: Conditional and preferential logics. Proof methods and theorem proving. (2010)
- Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca: KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning (2007)