ILTP

直觉逻辑定理证明(ILTP)库为一阶和命题直觉逻辑的自动定理证明(ATP)系统提供了一个测试和基准测试平台。它包括一阶和命题直觉式ATP系统的两个问题集合,以及将问题转化为现有直觉式ATP系统的输入语法的工具。它还包括有关当前可用于直观逻辑的ATP系统的信息,以及它们对ILTP库中问题的性能结果。


zbMATH中的参考文献(参考文献28条)

显示第1到第20个结果,共28个。
按年份排序(引用)
  1. Färber,迈克尔;卡利斯齐克,塞扎里;城市,约瑟夫:连接表的机器学习指南(2021)
  2. 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿瑞斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表演算(2019)
  3. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  4. 法拉利,毛罗;佛罗伦萨,卡米洛:直觉命题逻辑自然演绎中的目标导向证明搜索(2019)
  5. 佛罗伦萨,卡米洛;戈雷,拉吉耶夫;Graham Lengrand,Stéphane:直觉命题逻辑SMT求解的证明理论视角(2019)
  6. 奥拉特,卡洛斯;德帕瓦,缬草;皮门特尔,伊莱恩;Reis,Giselle:ILLTP直觉线性逻辑库(2019)
  7. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:JTabWb:实现终止序列和表计算的Java框架(2017)
  8. Sutcliffe,Geoff:TPTP问题库和相关基础设施。从CNF到TH0,TPTP v6.4.0(2017)
  9. Dyckhoff,Roy:Gentzen以来的直觉决策程序(2016)
  10. 布洛克南内斯塔德,陶斯;Chaudhuri,Kaustuv:用有限近似迭代求精的逆方法进行反证(2015)
  11. 戈雷,拉吉耶夫;汤姆森,吉米;Wu,Jesse:使用全局缓存的直觉命题逻辑的基于历史的定理证明器:IntHistGC系统描述(2014)
  12. 树桩,亚伦;萨特克利夫,杰夫;Tinelli,Cesare:StarExec:用于逻辑解决的跨社区基础设施(2014)ioport公司
  13. 戈雷,拉吉耶夫;汤姆森,吉米:直觉命题逻辑的改进BDD方法:bddinkt系统描述(2013)
  14. 拉茨,托马斯;一阶模态逻辑的QMLTP问题库(2012)
  15. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:fCube:直觉命题逻辑的有效证明者(2010)
  16. Fiorino,Guido:基于多前提表演算的命题Dummett逻辑的快速决策过程(2010)
  17. Otten,Jens:在连接计算中限制回溯(2010)
  18. 萨特克利夫,杰夫;Benzmüller,Christoph:使用TPTP THF基础设施的高阶逻辑自动推理(2010)
  19. Burel,Guillaume:直觉逻辑中的自动化理论(2009)
  20. 麦克劳林,肖恩;Pfenning,Frank:用极化逆方法证明直觉定理(2009)