利奥三世

基于Agent的HOL推理。在Leo-III项目中,开发了一个新的基于agent的经典高阶逻辑推理系统。Leo-III将其前任的协作外部专家系统的概念与一种新颖的基于agent的证明程序相结合。系统开发的关键目标包括在不同层次的证明搜索上的并行性,对不同外部专家的适应性,以及对表达性非经典逻辑推理的本地支持。


zbMATH中的参考文献(参考 13篇文章,1标准件)

显示结果1到13,共13个。
按年份排序(引用)

  1. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  2. Alexander Bentkamp;Blanchette,Jasmin;Tourret,Sophie;Vukmirović,Petar;Waldmann,Uwe:与lambdas的叠加(2019年)
  3. Ahmed Bhayat;Reger,Giles:受限组合统一(2019)
  4. Brown,Chad E.;Gauthier,Thibault;Kaliszyk,Cezary;Sutcliffe,Geoff;Urban,Josef:GRUNGE:a grand unified ATP challenge(2019年)
  5. Alexander Bentkamp;Blanchette,Jasmin Christian;Cruanes,Simon;Waldmann,Uwe:无(\lambda)高阶逻辑的叠加(2018)
  6. Steen,Alexander:高阶逻辑的可拓调性及其有效实现Leo III(2018)
  7. Steen,Alexander;Benzmüller,Christoph:高阶证明者Leo III(2018)
  8. Bruno Buchberger;Jebelean,Tudor;Kutsia,Temur;Alexander Maletzky;Wolfgang Windsteiger:Theorema 2.0:计算机辅助自然风格数学(2016)
  9. Libal,Tomer;Miller,Dale:作为构造函数的函数高阶统一(2016)
  10. Steen,Alexander;Benzmüller,Christoph:Sweet十六:嵌入经典高阶逻辑的自动化(2016)
  11. Steen,Alexander;Wisniewski,Max;Benzmüller,Christoph:基于代理的霍尔推理(2016)
  12. Wisniewski,Max;Steen,Alexander;Kern,Kim;Benzmüller,Christoph:HOL的有效规范化技术(2016)
  13. Wisniewski,Max;Steen,Alexander;Benzmüller,Christoph:\ textsLeopard——实现高阶推理机的通用平台(2015)