TPTP

TPTP(定理证明者的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供:一个全面的ATP测试问题库,可以提供一个概述和一个简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。一般问题的任意大小实例(例如N皇后问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评估要求的一般指南。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确反映所考虑的ATP系统的能力。对于有意义的系统评估、有意义的系统比较、测试的重复性和产生具有统计意义的结果,需要一个共同的问题库。TPTP就是这样一个库。


zbMATH中的参考文献(参考文献378篇,3标准条款)

显示378个结果中的1到20个。
按年份排序(引用)

1 2 ... 17 18 19 下一个

  1. 鲍姆加特纳,彼得;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  2. 奔驰ü勒,克里斯托夫;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  3. 布雷尔,纪尧姆;伯里,纪尧姆;考德利尔,拉斐ël;德拉哈耶,大卫;哈马格兰德,皮埃尔;Hermant,Olivier:一阶自动推理理论:当演绎模理论与实践相结合时(2020)
  4. Cialdea Mayer,Marta:一个处理名词、绑定词、及物性和关系层次的证明者(2020)
  5. 克里斯蒂á, 马克西米利亚诺;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  6. 范迪诺,豪尔赫;弗拉基米尔·利夫希茨;ü帕特里克,恩;Schaub,Torsten:用\textscanthemand\textscvampire验证严密的逻辑程序(2020)
  7. 雅库布ův、 一月;Kaliszyk,Cezary:定理证明中的松弛加权路径序(2020)
  8. Quaresma,Pedro:几何中的自动推理和知识管理(2020)
  9. 泰克,安德烈亚斯;魏登巴赫,克里斯托夫:SPASS-AR:基于一元浅线性片段近似精化的一阶定理证明器(2020)
  10. 巴博萨,哈尼尔;雷诺兹,安德鲁;大牛,大牛;蒂内利,塞萨尔;Barrett,Clark:将SMT解算器扩展到高阶逻辑(2019)
  11. 本特坎普,亚历山大;布兰切特,贾斯敏;图雷特,苏菲;武克米洛维ć, 花瓣;沃尔德曼,Uwe:与lambdas的叠加(2019)
  12. 艾哈迈德·巴亚特;Reger,Giles:受限组合统一(2019)
  13. 布朗,查德·E。;高蒂埃,蒂堡;卡利斯齐克,塞扎里;萨特克利夫,杰夫;厄本,约瑟夫:格鲁格:一场盛大的统一ATP挑战赛(2019年)
  14. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  15. 埃布纳,加布里埃尔;赫茨尔,斯特凡;莱奇,亚历山大;里斯,吉赛尔;丹尼尔韦勒:关于量化引理的生成(2019)
  16. 富尔巴赫,乌尔里希;克朗ä梅尔,特蕾莎;肖恩,克劳迪娅:名字不仅仅是声音和烟雾:公理选择的单词嵌入(2019)
  17. 李迪龙;Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019)
  18. 弗拉基米尔·利夫希茨;ü帕特里克,恩;Schaub,Torsten:验证输入语言中程序的强等价性(2019)
  19. Mohamed Yacine El Haddad,吉劳姆·布雷尔,法国édéric Blanqui:EKSTRAKTO从TSTP文件重建Dedukti证明的工具(扩展摘要)(2019)阿尔十四
  20. 罗森,迈克尔;雷格,贾尔斯:旧的还是重的?随着年龄/体重形状优雅地衰退(2019年)

1 2 ... 17 18 19 下一个