劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨 KLMLean 2.0：非单调推理的KLM逻辑的定理证明器。 （英语） Zbl 1132.68679号 Olivetti，Nicola（编辑），《使用分析表和相关方法的自动推理》。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。计算机科学课堂讲稿4548。人工智能课堂讲稿，238-244（2007）。 摘要：我们提出了KLMLean 2.0，一个非单调推理的命题KLM逻辑的定理证明器。KLMLean 2.0为最近介绍的这些逻辑实现了一些分析表计算。KLMLean 2.0受到了“精益”方法的启发，它是在SICStus Prolog中实现的，它还包含一个用Java编写的图形界面。有关整个系列，请参见[Zbl 1121.68006号]. 引用于4文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：精益TAP；ModLeanTAP模式；KLMLean公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。票据计算。科学。4548238--244（2007；Zbl 1132.68679） 全文： 内政部