CSLLean公司 swMATH ID: 9984 软件作者： 阿伦达·R、奥利维蒂·N、波扎托·G·L。 描述： Csl-lean：比较概念相似性逻辑的理论证明。Sheremet、Tishkovsky、Wolter和Zakharyaschev引入了比较概念相似性的逻辑CSLCSL，以捕获概念和/或对象之间的定性相似性比较。在这个逻辑中，我们可以用“对象A与B比与C更相似”的形式来表述断言。这种断言可以添加到本体中，以表示概念之间的定性比较。在这项工作中，我们提出了CSL-lean，这是该逻辑的第一个理论证明。它是最近为该逻辑提出的基于tableaux的决策过程的直接Prolog实现。Prolog程序受到了精益方法学的启发。CSL-lean还包含一个用Java编写的图形界面，可从以下网站免费下载网址：http://www.di.unito.it/披萨/csllean/。 主页： 网址：http://www.di.unito.it/~pozzato/csllean（披萨）/ 相关软件： 康德莱恩;KLMLean公司;github;tuCLEVER公司;月亮;梅蒂斯_;佩斯卡;伊莎贝尔/HOL;NESCOND公司;HOL灯;精益TAP;CSymLean公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 CSL公司-倾斜：比较概念相似性逻辑的理论证明。 Zbl 1345.68253号雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 2010 全部的 前5名8位作者引用 三 雷吉斯·阿伦达 三 尼古拉·奥利维蒂 1 科西莫·佩里尼·布罗吉 1 弗朗西斯科·埃斯特瓦 1 路易斯·戈多 1 马可·马格西 1 吉安·卢卡（Gian Luca），披萨 1 托马斯·维特莱恩 2篇连载文章中引用 1 自动推理杂志 1 国际近似推理杂志 在2个字段中引用 5 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文