TPTP

TPTP(定理证明的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供了一个ATP测试问题的综合库,现在可以提供,以提供一个概览和一个简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。泛型问题的任意大小实例(例如,N-Quess问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评价要求的一般准则。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确地反映正在考虑的ATP系统的能力。一个共同的问题库是必要的有意义的系统评估,有意义的系统比较,可重复性的测试,并产生统计上显著的结果。TPTP就是这样一个图书馆。


ZBMaX中的参考文献(342篇)3篇标准文章

显示结果321至340的342。
按年份排序(引文
  1. PLASTED,David A.,亚力山大,Geoffrey D.:命题搜索效率和一阶定理证明(1997)
  2. David A.,朱,Yunshan:定理证明策略的有效性。比较与渐近分析(1997)
  3. 斯特吉尔,戴维;Segre,Alberto Maria:唠叨:应用于一阶推理的分布式、对抗式搜索剪枝技术(1997)
  4. 保鲁夫,安德烈亚斯;舒曼,约翰:ILF Setho:自然语言输出的处理模型消除证明(1997)
  5. 安德鲁斯、Peter B.、毕肖普、马修、Issar、Sunil、奈史密斯、丹、彭芬宁、丹、奚、红卫:TPS:经典类型理论的定理证明系统(1996)
  6. 鲍姆加特、彼得:霍恩理论的线性和单位反驳(1996)
  7. 鲍姆加特,彼得;福尔巴赫,Ulrich;Niemel·坡,伊尔卡:超表(1996)
  8. 贝克特,伯恩哈德;H.Hnle,赖纳;Oel,彼得;SulZman,马丁:基于表的定理证明器(γ3\MKNN-4MUTK\MKNN-5MU A\MKRN-5MU P)版本4(1996)
  9. BouSube,克里斯多夫;D·FeNeNux,吉尔斯;Peltier,尼古拉斯:在解析框架中用类比构建证据或反例(1996)
  10. Denzinger,J.R.G;舒尔茨,Stephan:学习领域知识改进定理证明(1996)
  11. Rath、托马斯:不同定义翻译对范式的实用价值(1996)
  12. 福斯,马蒂亚斯:启发式使用过去证明经验的实验(1996)
  13. Gununigigi,Fausto;Sebastiani,罗伯托:从命题决策过程建立模态逻辑的决策过程——模态K(1996)的实例研究
  14. 哈里森,约翰:模型消除中的证明搜索优化(1996)
  15. 林顿,S,Shand:D.具有完备定理证明的群论理论(1996)
  16. 舒曼,J.SICOTHO:简单竞争平行定理证明者(1996)
  17. Heribert,盖斯勒,提姆:编译中的高效模型生成(1996)
  18. 萨特纳、Christian B.、Sutcliffe、杰夫:CADE-13 ATP系统竞赛设计(1996)
  19. Demri,ST·Phanne:模态逻辑的TabLoux计算器的统一和非一致策略(1995)
  20. 李,石锷珏;吴,Chih Hung:用网络结构增量评估提高超链接定理证明器的效率(1994)