×

KL-ONE公司

swMATH ID: 28891
软件作者： 弗兰茨·巴德；乌尔里克·萨特勒
描述： 描述逻辑表算法概述。描述逻辑是一系列通过系统KL-ONE从语义网络和框架衍生而来的知识表示形式。在过去的十年中，已有研究表明，各种描述逻辑中的重要推理问题（如包含性和可满足性）可以使用类表格算法来确定。这并不奇怪，因为描述逻辑已被证明与命题模态逻辑和程序逻辑（如命题动态逻辑）密切相关，而tableau程序在这些逻辑中非常成功。然而，由于不同的基本直觉和应用程序，大多数描述逻辑与运行模式和程序逻辑有很大不同。因此，对描述逻辑中表格算法的研究产生了新的技术和结果，然而，这也是模态逻辑学家感兴趣的。在本文中，我们将重点讨论在描述逻辑中起重要作用的三个特性（数字限制、术语公理和角色构造器），并展示如何通过tableau算法来考虑它们。
主页： https://rd.springer.com/article/10.1023/A:1013882326814
关键词： 描述逻辑;tableau算法
相关软件： 故障电流互感器++;赛车手;弹丸;MSPASS公司;E定理证明器;VAMPIRE公司;MetTeL公司;SPASS公司;HermiT公司;精益TAP;TPTP公司;SPARQL公司;CEL公司;Protege公司;康clude;接通DLV;前-OWL;DLog（数据日志）;PITA公司;ProbLog（问题日志）
引用于： 37文件
全部的 前5名

52位作者引用

8 弗兰兹·巴德
6 拉斐尔·佩尼亚洛扎
5 伊恩·霍洛克斯
5 雷娜特·施密特（Renate A.Schmidt）。
4 阮林安
4 乌尔里克·萨特勒
三 斯特凡·博格沃德
三 迭戈·卡尔瓦内斯
三 鲍里斯·莫提克
2 伯纳多·昆卡·格劳
2 朱塞佩·德贾科莫
2 格利姆，伯尔特
2 瓦桑特·霍纳瓦尔
2 乔拉·斯卢茨基
2 斯扎·阿斯、安德烈吉
2 陶，贾
2 蒂什科夫斯基，德米特里
2 安妮·亚斯敏（Anni-Yasmin Turhan）
1 彼得·鲍姆加特纳
1 埃琳娜·贝洛迪
1 达尼埃拉·贝拉迪
1 朱塞佩·科塔
1 Stéphane P.德姆里。
1 托马斯·艾特
1 拉杰夫·普拉巴卡尔·戈尔
1 扬·赫拉迪克
1 纪尧姆·霍夫曼
1 马克·卡明斯基
1 肯·卡内瓦
1 帕特里克·科普曼
1 伊芙琳娜·拉姆
1 多梅尼科·伦博
1 毛里齐奥·伦泽里尼
1 亚当·迈斯纳
1 弗里德里希·米歇尔
1 马格达莱娜·奥尔蒂斯
1 比扬·帕西娅
1 彼得·施奈德（Peter F.Patel-Schneider）。
1 安东尼拉·波吉
1 法布里西奥·里古齐
1 玛丽亚诺·罗德里格斯·穆罗
1 里卡多·罗萨蒂
1 施耐德，西格德
1 巴尔·塞尔特卡亚
1 埃夫伦·塞林
1 格特·斯莫尔卡
1 斯托伊洛斯、乔尔戈斯
1 德米特里·察尔科夫
1 乌韦·沃尔德曼
1 王哲
1 本杰明·扎里
1 里卡多·泽斯
全部的 前5名

14篇连载文章中引用

9 自动推理杂志
2 人工智能
2 Studia Logica公司
2 逻辑程序设计理论与实践
2 ACM计算逻辑事务
2 应用逻辑杂志
2 计算机科学中的逻辑方法
1 哲学逻辑杂志
1 理论计算机科学
1 新一代计算
1 信息与计算
1 国际近似推理杂志
1 数学与人工智能年鉴
1 国际应用数学与计算机科学杂志

在2个字段中引用

34 计算机科学（68至XX）
16 数学逻辑和基础（03-XX）

按年份列出的引文