ILTP

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


ZBMaCT中的参考文献(22篇文章中引用)

显示结果1至20的22。
按年份排序(引文
  1. 法拉利,毛罗;菲奥伦蒂尼,CAMILO:直觉命题逻辑自然演绎中的面向目标的证明搜索(2019)
  2. 法拉利,毛罗;菲奥伦蒂尼,CAMILO;Fiorino,GuIDO:JTabWb:实现终止序列和TabLoue计算器的Java框架(2017)
  3. Sutcliffe,杰夫:TPTP问题库和相关基础设施。从CNF到TH0,TPTP V4.4.0(2017)
  4. Brock Nannestad,Taus;Chaudhuri,考特斯夫:利用有限近似迭代求精法反驳(2015)
  5. 吉米,吴,杰西:基于全局缓存的直觉命题逻辑的基于历史的定理证明器:ithistGC系统描述(2014)
  6. 树桩,亚伦;Sutcliffe,杰夫;Tinelli,Cease: StaseXEC:逻辑解决的跨社区基础设施(2014)伊波尔特
  7. 吉米,一种改进的直觉命题逻辑BDD方法:BDDITKT系统描述(2013)
  8. Raths,托马斯;Otten,Jens:一阶模态逻辑QMLTP问题库(2012)
  9. 法拉利、毛罗、菲奥伦蒂尼、卡米洛、Fiorino、圭多:FuCube:直觉命题逻辑的有效证明者(2010)
  10. Fiorino,GuDo:基于多前提表演算的命题哑逻辑快速决策过程(2010)
  11. Otten,Jens:限制连接计算器中的回溯(2010)
  12. Sutcliffe,杰夫;Bangmül勒,克里斯托夫:利用TPTP THF基础设施在高阶逻辑中的自动推理(2010)
  13. Burel,纪尧姆:直觉逻辑中的自动化理论(2009)
  14. 肖恩,P芬宁,弗兰克:用极值逆方法证明有效直觉定理(2009)
  15. Sutcliffe,杰夫:TPTP问题库和相关基础设施和相关基础设施。FOF和CNF部件,V3.5.0(2009)
  16. Sutcliffe,杰夫;克里斯托夫,布朗,Chad E.;泰斯,弗兰克:高阶逻辑定理自动证明发展的新进展(2009)
  17. AVELLON,Alessandro;Fiorino,GueDo;MasCAto,UGO:命题直觉逻辑的优化技术及其实现(2008)
  18. 麦克劳克林,肖恩;P芬宁,弗兰克:伊莫金:聚焦于直觉命题逻辑的极化逆方法(2008)
  19. AVELLON,Alessandro;Fiorino,圭多;莫斯卡托,UGO:改进TabLoor证明者PITP(2007)
  20. Heilala,Samuli;Pitka,汤屹云:直觉命题模态逻辑IS4(2007)的双向决策过程