E-SETHEO公司

E-SETHEO:一个自动化的定理证明器我们开发了一种基于问题域生成的测试数据的策略评估和选择方法。我们提出了定理证明器e-SETHEO,它可以自动处理训练数据管理、策略评估和选择以及实际的证明任务。并给出了用该系统产生的实验数据。我们解决了测试集抽取的问题,并对我们的工作进行了评估。


zbMATH参考文献(参考 18篇文章

显示第1至18个结果,共18个。
按年份排序(引用)

  1. Kaliszyk,Cezary:高效低层连接表(2015)
  2. Daniel Kühlwein;Stephan Schulz;Urban,Josef:E-MaLeS 1.1(2013年)
  3. 比约克,马格努斯:一阶圣埃尔马克。通过分支合并的普遍引理(2009)
  4. Jürjens,Jan:基于流的密码协议领域特定语言(2009)
  5. Benzmüller,Christoph;Sorge,Volker;Jamnik,Mateja;Kerber,Manfred:自动协作的组合推理(2008)
  6. Paskevich,Andrei:lazy-paramodulation连接表(2008)
  7. Letz,Reinhold;Stenz,Gernot:《断开表演算》(2007)
  8. Christoph Benzmüller;Sorge,Volker;Jamnik,Mateja;Kerber,Manfred:高阶和一阶定理证明者能合作吗?(2005年)
  9. Otten,Jens;Bibel,Wolfgang:IeanCOP:基于精益连接的定理证明(2003)
  10. Riazanov,Alexandre;Voronkov,Andrei:分辨定理证明中的有限资源策略(2003)
  11. Fuchs,Marc:小句引理在表观结石中的控制使用(2000)
  12. Stenz,Gernot;Wolf,Andreas:E-SETHEO:自动(^3)定理证明程序(2000)
  13. 比贝尔:让我们用演绎的方式来计划吧!(1998年)
  14. 费舍尔,伯恩德;舒曼,约翰;斯内尔,格雷戈:基于演绎的软件构件检索(1998)
  15. Fischer,Bernd;Schumann,Johann M.Ph.:SETHEO goes软件工程:ATP在软件重用中的应用(1997)
  16. Ibens,Ortrun;Letz,Reinhold:模型消除中的子目标变化(1997)
  17. Moser,Max;Ibens,Ortrun;Letz,Reinhold;Steinbach,Joachim;Goller,Christoph;Schumann,Johann;Mayr,Klaus:CADE-13系统SETHEO和E-SETHEO。(1997年)ioport公司
  18. 舒曼,约翰:用SETHEO自动验证密码协议(1997)