@inproceedings{802ae3782abb4791bbe66bf8b0bdb113,
title = "KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning",
abstract = "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 Java1.",
author = "Laura Giordano and Valentina Gliozzi and Pozzato, {Gian Luca}",
year = "2007",
doi = "10.1007/978-3-540-73099-6_19",
language = "English",
isbn = "9783540730989",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "238--244",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Proceedings",
address = "Germany",
note = "16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007 ; Conference date: 03-07-2007 Through 06-07-2007",
}