×

洛特雷克

swMATH标识: 7684
软件作者: 加斯奎特,奥利弗;赫齐格,安德烈亚斯;朗金,多米尼克;萨哈德,穆罕默德
说明: 逻辑表研究工程伙伴。本文描述了一个通用的tableaux系统,用于建立模型或反模型,并在模态逻辑和描述逻辑中检验公式的可满足性。这个系统被称为LoTREC2.0,它的特点是一种高级的tableau规则和策略语言。它旨在涵盖所有基于Kripke语义的逻辑。它是用Java实现的,具有用户友好的图形界面。它可以作为一个学习系统来学习可能的世界语义和基于表格的证明方法。
主页: http://www.irit.fr/Lotrec/
相关软件: PVS公司;梅特尔;MSPASS公司;TWB公司;lotrec方案;伊莫金;伊莱昂科普;剥离;ILTP;很酷;定理证明器;赛车手;事实++;吸血鬼;leanTAP公司;英克雷斯特;斯巴达克斯;保鲜膜;希夫;国际历史
参考文献: 26种出版物
全部的 前5名

58位作者引用

5 赫尔兹,安德烈亚斯
4 加斯奎特,奥利弗
4 施瓦岑特鲁伯,弗朗索瓦
戈雷,拉吉耶夫·普拉巴卡尔
穆尼奥斯·贝拉斯科,埃米利奥
2 布雷索林,戴维德
2 法里尼亚斯德尔塞罗,路易斯
2 戈林斯卡·皮拉雷克,乔安娜
2 朗金,多米尼克
2 蒙塔纳里,安吉洛
2 萨哈德,穆罕默德
2 萨拉,皮埃特罗
2 施密特,雷诺A。
2 西亚维科,吉多
2 蒂什科夫斯基,德米特里
1 阿巴特,皮埃特罗
1 阿尔维亚诺,马里奥
1 欧谢尔,纪尧姆
1 巴拉尔,奇塔R。
1 Baryannis,乔治
1 巴萨基,索蒂里斯
1 布罗森,简·M。
1 克兰菲尔德,斯蒂芬
1 黛拉·莫妮卡,达里奥
1 戴克霍夫,罗伊
1 Elrakaiby,叶海亚
1 福索,大卫
1 佛罗伦萨,卡米洛
1 菲奥里诺,吉多
1 福米萨诺,安德里亚
1 加贝,多夫·M。
1 盖尔方德,格雷戈里
1 戈兰科,瓦伦丁F。
1 格罗西,戴维德
1 霍伦,比亚恩
1 约翰森,艾纳·布洛赫
1 霍达达迪,穆罕默德
1 莱奇,亚历山大
1 洛里尼,埃米利亚诺
1 莫伯特,巴斯蒂安
1 莫拉·博尼拉,天使
1 纳隆,克劳迪亚
1 阮林安
1 尼古洛西·阿斯蒙多,玛丽安娜
1 尼普科,托比亚斯
1 家长,泽维尔
1 帕丁森,德克
1 佩莱格林,梅赛德斯
1 庞泰利,恩里科
1 比拉尔说
1 斯坦,伊奥尼尔·爱德华德
1 苏,伊兹吉伊拉兹
1 图姆莫利尼,卢卡
1 保罗,图里尼
1 范德托瑞,利安德特W.N。
1 瓦勒,阿里尔德
1 扎曼斯基,安娜
1 佐哈尔,尤尼

按年份引用出版物