HyLoRes公司 swMATH ID: 17660 软件作者: Areces,C。;J.Heguiabehere。 描述: HyLoRes:一个用于混合逻辑的基于分辨率的定理证明。HyLoRes是混合逻辑的直接分辨率证明程序。这些是类模态逻辑,具有引用模型中对象的功能。HyLoRes最有趣的特点是它不是基于tableau算法,而是基于(直接)分辨率。HyLoRes直接对模态(或混合)输入执行解析,而不转换为背景逻辑。HyLoRes融合了最先进的一阶证明思想和混合对象语言的简单表示 主页: http://hylo.loria.fr/intohylo/hylores.php 相关软件: 斯巴达克斯;HyLoTab标签;HTab公司;github;BDD标签;弯曲;野牛;InKreSAT公司;MSPASS公司;故障电流互感器++;VAMPIRE公司;水獭;HGen公司;西比尔;彼拉多;希律王;TPTP公司;SPASS公司;TRP公司++;E定理证明器 引用于: 7文件 全部的 前5名13位作者引用 2 克莱尔·狄克逊 2 乌尔里希·赫斯塔特 2 Cláudia Nalon 1 卡洛斯·阿雷塞斯 1 巴博萨、路易斯·索亚雷斯 1 玛尔塔·恰尔迪亚·梅耶 1 马尔滕·德·里杰克 1 何塞·法里亚。 1 马西莫·弗朗西切特 1 胡安·赫吉亚贝勒 1 纪尧姆·霍夫曼 1 亚历山大·马德拉 1 马丁斯(Manuel António Martins) 2篇连载文章中引用 2 自动推理杂志 1 应用逻辑杂志 在2个字段中引用 7 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 按年份列出的引文