利奥三世

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


zbMATH中的参考文献(参考文献15条,1标准件)

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

  1. 本斯米勒,克里斯托夫;家长,泽维尔;van der Torre,Leendert:为伦理和法律推理设计规范性理论:\textslogickyframework,methodology,and tool support(2020年)
  2. 本斯米勒,克里斯托夫;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  3. 本特坎普,亚历山大;布兰切特,贾斯敏;图雷特,苏菲;Vukmirović,佩塔;沃尔德曼,Uwe:与lambdas的叠加(2019)
  4. 艾哈迈德·巴亚特;Reger,Giles:受限组合统一(2019)
  5. 布朗,查德·E。;高蒂埃,蒂堡;卡利斯齐克,塞扎里;萨特克利夫,杰夫;厄本,约瑟夫:格鲁格:一场盛大的统一ATP挑战赛(2019年)
  6. 本特坎普,亚历山大;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;Waldmann,Uwe:(\lambda)-自由高阶逻辑的叠加(2018)
  7. Steen,Alexander:高阶逻辑的可拓调性及其有效实现Leo III(2018)
  8. 斯蒂芬,亚历山大;本兹穆勒,克里斯托夫:高阶证明者利奥三世(2018)
  9. 萨特克利夫:CADE-26自动定理证明系统竞赛——CASC-26(2017)
  10. 布赫伯格,布鲁诺;犹太,都铎王朝;特穆尔库兹亚;亚历山大马勒茨基;Windsteiger,Wolfgang:Theorema 2.0:计算机辅助自然风格数学(2016)
  11. Libal,托默;米勒,戴尔:功能作为建造者高阶统一(2016)
  12. 斯蒂芬,亚历山大;Benzmüller,Christoph:Sweet十六:嵌入经典高阶逻辑的自动化(2016)
  13. 斯蒂芬,亚历山大;威斯尼夫斯基,麦克斯;Benzmüller,Christoph:基于代理的HOL推理(2016)
  14. 威斯尼夫斯基,麦克斯;斯蒂芬,亚历山大;克恩,金;Benzmüller,Christoph:HOL的有效规范化技术(2016)
  15. 威斯尼夫斯基,麦克斯;斯蒂芬,亚历山大;Benzmüller,Christoph:\ textsLeopard——实现高阶推理机的通用平台(2015)