利奥二世

LEO-II是一个独立的、基于解析的高阶定理证明器,设计用于与高阶逻辑自然片段的专家证明器进行富有成效的合作。目前LEO-II可以与符合TPTP的一阶自动定理证明器(如E、SPASS、Gandalf和Vampire)合作。2010年世界冠军:LEO-II是CASC-J5 THF分部(高阶逻辑自动化)的冠军。2011年在CASC-J23上,LEO-II在THF赛区获得第二名。此外,在CASC-J5和CASC-23,LEO-II也参与了FOF和CNF的一级师,表现相当出色。LEO-II是第一个支持THF、FOF和CNF语法的定理证明程序。LEO-II在目标CAML中实现,其问题表示语言为TPTP-THF。


zbMATH中的参考文献(参考 51篇文章 参考,1标准件)

显示第1到第20个结果,共51个。
按年份排序(引用)
  1. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  2. 考夫曼,马特;摩尔,J.斯特罗瑟:一阶设置中的有限二阶功能(2020年)
  3. 丹尼尔·巴雷尔·萨尔斯穆尔(Daniel Barreynolds)至萨尔斯穆尔(Daniel-Barrel),2019年;丹尼尔·巴雷尔·阿奥萨(Daniel-Barrel),奥萨·巴雷尔(Daniel-Barrel),奥萨(Daniel-Barrel),奥萨(Daniel-Barrel)
  4. Brown,Chad E.;Gauthier,Thibault;Kaliszyk,Cezary;Sutcliffe,Geoff;Urban,Josef:GRUNGE:a grand unified ATP challenge(2019年)
  5. Alexander Bentkamp;Blanchette,Jasmin Christian;Cruanes,Simon;Waldmann,Uwe:无(\lambda)高阶逻辑的叠加(2018)
  6. Benzmüller,Christoph;Parent,Xavier;van der Torre,Leendert:道义逻辑推理基础设施(2018)
  7. Lopez Hernandez,Julio Cesar;Korovin,Konstantin:大型理论推理的抽象精化框架(2018)
  8. Lvov,M.;Peschanenko,V.;Letychevskyi,O.;Tarasich,Y.;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018)
  9. Benzmüller,Christoph:量化条件逻辑的切消元(2017)
  10. Benzmüller,C.;Weber,Leon;Woltzenlogel Paleo,Bruno:安德森-哈耶克本体论争议的计算机辅助分析(2017)
  11. Gleißner,Tobias;Steen,Alexander;Benzmüller,Christoph:每种正规模态逻辑的定理证明者(2017)
  12. Stephan Schulz;Sutcliffe,Geoff;Urban,Josef;Pease,Adam:检测大型一阶知识库中的不一致性(2017)
  13. 本兹穆勒,克里斯托夫;沃尔茨根洛格古,布鲁诺:哥德尔本体论理论不一致性的对象逻辑解释(2016)
  14. Blanchette,Jasmin Christian;Böhme,Sascha;Fleury,Mathias;Smolka,Steffen Juilf;Steckermeier,Albert:机器生成证明的半可理解Isar证明(2016年)
  15. Brown,Chad E.;Urban,Josef:从Mizar数学图书馆提取高阶目标(2016)
  16. Wisniewski,Max;Steen,Alexander;Kern,Kim;Benzmüller,Christoph:HOL的有效规范化技术(2016)
  17. 自动化普罗夫勒定理(Christophüller定理,高阶)
  18. 本兹穆勒,克里斯托夫:邀请演讲:论(相当)普遍定理证明方法及其在形而上学中的应用(2015)
  19. Benzmüller,Christoph;Paleo,Bruno Woltzenlogel:论逻辑嵌入和哥德尔的上帝(2015)
  20. Benzmüller,Christoph;Paleo,Bruno Woltzenlogel:在coq证明助手中与模态逻辑交互(2015)

更多出版物请访问:柏林参考文献http://meu.mel/leo.html/