KLMLean公司 swMATH ID: 9988 软件作者： 劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨 描述： KLMLean 2.0：非单调推理的KLM逻辑的定理证明器。我们提出了非单调推理的命题KLM逻辑的定理证明器KLMLean 2.0。KLMLean 2.0为最近引入的这些逻辑实现了一些分析表演算。KLMLean 2.0受到了“精益”方法的启发，它是在SICStus Prolog中实现的，它还包含一个用Java编写的图形界面。 主页： 网址：http://www.di.unito.it/~pozzato/klmlean%202.0/ 相关软件： 康德莱恩;NESCOND公司;CSLLean公司;精益TAP;ModLeanTAP模式;tuCLEVER公司;月亮;梅蒂斯_;佩斯卡;伊莎贝尔/HOL;HOL灯;文特 引用于： 6文件 全部的 前5名10位作者引用 三 吉安·卢卡（Gian Luca），披萨 1 雷吉斯·阿伦达 1 约阿希姆·比斯库普 1 布罗吉，科西莫·佩里尼 1 劳拉·佐丹奴 1 瓦伦蒂娜·格里奥齐 1 比约恩·莱尔曼 1 马可·马格西 1 尼古拉·奥利维蒂 1 科妮莉亚·塔德罗斯 3篇连载文章中引用 1 自动推理杂志 1 数学与人工智能年鉴 1 人工智能和应用的前沿 在2个字段中引用 6 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 按年份列出的引文