LoTREC公司 swMATH ID: 7684 软件作者: 奥利维尔·加斯奎特;安德烈亚斯·赫齐格(Andreas Herzig);多米尼克·朗金;穆罕默德·萨哈德 描述: LoTREC:逻辑表研究工程伙伴。本文描述了一个用于建立模型或反模型以及测试模态和描述逻辑中公式的可满足性的通用表系统。该系统称为LoTREC2.0。它的特点是一种高级语言,用于描述表格规则和策略。它的目标是涵盖所有基于克里普克语义的逻辑。它是用Java实现的,具有用户友好的图形界面。它可以用作可能世界语义和基于tableaux的证明方法的学习系统。 主页: 网址:http://www.irit.fr/Lotrec/ 相关软件: PVS公司;SPASS公司;E定理证明器;MleanCoP公司;嵌入模式;MetTeL公司;MSPASS公司;TWB公司;TPTP公司;InKreSAT公司;狮子座III;TABLEAUX公司;Lotrec方案;伊莫金;伊朗CoP;带;ILTP公司;酷;赛车手;故障电流互感器++ 引用于: 29文件 全部的 前5名68位作者引用 5 安德烈亚斯·赫齐格 4 奥利维尔·加斯奎特 4 弗朗索瓦州施瓦岑特鲁伯 三 拉杰夫·普拉巴卡尔·戈尔 三 埃米利奥·穆尼奥斯·韦拉斯科 三 Cláudia Nalon 2 大卫·布雷索林 2 克莱尔·狄克逊 2 路易斯·法利尼亚斯·德尔·塞罗 2 乔安娜·戈林斯卡·皮拉雷克 2 乌尔里希·赫斯塔特 2 多米尼克·朗金 2 安吉洛·蒙塔纳里 2 法比奥·帕帕奇尼 2 穆罕默德·萨哈德 2 皮埃特罗·萨拉 2 雷娜特·施密特(Renate A.Schmidt)。 2 Guido Sciavicco公司 2 蒂什科夫斯基,德米特里 1 彼得罗·阿巴特 1 马里奥·阿尔维亚诺 1 纪尧姆拍卖行 1 奇塔·R·巴拉尔。 1 乔治·巴里扬尼斯 1 巴萨基斯、索蒂利斯 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 Broersen,Jan M。 1 斯蒂芬·克雷菲尔德 1 黛拉·莫妮卡,达里奥 1 罗伊·戴克霍夫 1 叶希亚·埃尔拉凯比 1 大卫·福索 1 毛罗·法拉利 1 佛罗伦萨,卡米洛 1 吉多·菲奥里诺 1 安德烈亚·福米萨诺 1 Dov M.加巴伊。 1 格雷戈里·盖尔芬德 1 瓦伦丁·F·戈兰科。 1 大卫·格罗西 1 比亚恩·霍伦 1 埃纳尔·布罗赫·约翰森 1 穆罕默德·科达达迪 1 亚历山大·莱奇 1 埃米利亚诺·洛里尼 1 巴斯蒂安·莫伯特 1 安琪尔·莫拉·波尼拉 1 安杰尔·莫拉 1 阮林安 1 玛丽安娜·尼科洛西·阿斯蒙多 1 托比亚斯·尼普科 1 家长,Xavier 1 德克·帕丁森 1 佩莱格林,梅赛德斯 1 恩里科·蓬泰利 1 比拉尔说 1 托拜厄斯·斯科尔 1 儿子Tran Cao 1 Stan、Ionel Eduard 1 亚历山大·斯廷 1 苏·埃兹吉·伊拉兹 1 杰夫·萨特克利夫 1 卢卡·图姆莫里尼 1 保罗·图里尼 1 范德托雷,Leendert W.N。 1 Arild瓦勒 1 安娜·扎曼斯基 1 尤尼·佐哈尔 全部的 前5名12篇连载文章中引用 2 逻辑程序设计理论与实践 1 人工智能 1 自动推理杂志 1 逻辑与计算杂志 1 国际计算机数学杂志 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 1 计算机基础理论 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 泛逻辑研究 在4个字段中引用 27 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的引文