史考特

史葛:语义约束的水獭。史葛项目可追溯到1991,目前仍在运行。定理证明器,水獭的变体,已经在CASC竞争了几年,取得了不引人注意但有趣的结果。它被广泛认为是一个应该工作但尚未实现其潜力的想法。该程序是免费提供的。像任何免费的,它没有保证。不像一些免费的东西,它也没有文档:它仍然是非常多的工作正在进行中,应该被视为实验软件。


ZBMaX中的参考文献(26篇)1标准条款

显示结果1至20的26。
按年份排序(引文
  1. Itegulov,Daniyar;斯莱尼,约翰;沃尔茨伦格尔古,布鲁诺:清道夫0.1:一个基于冲突解决的定理证明器(2017)
  2. Boaina,Maria Paola;Furbah,Ulrich;Sofronie Stokkermans,Viorica:一阶模型推理(2015)
  3. 张,韩涛;张,简:MaCe4和SEM:有限模型生成器的比较(2013)
  4. de Nivelle,汉斯;孟,贾:几何分辨率:基于有限模型搜索的证明过程(2006)
  5. Peltier,尼古拉斯:具有有序分解的模型建立:从饱和子集中提取模型(2003)
  6. Choi,SeungYOB:在解析(2002)中实现语义导向的正向推理
  7. Choi,Seungyeob;Kerber,曼弗雷德:子句图中分辨率的语义选择(2002)
  8. 霍奇森,Kaull;SLANY,John:TPTP,CASC和语义制导定理证明器的发展(2002)
  9. Caferra,李嘉图;Peltier,尼古拉斯;Puig,弗兰·Sooi:强调自动几何定理证明中的人类技术:一个实际的实现(2001)
  10. Gor,Rajeev(ED);LeiSch,亚力山大(ED);NIPKOW,托拜厄斯(ED):自动推理。第一国际联合会议,IJCAR 2001,锡耶纳,意大利,六月18-22日,2001。诉讼(2001)
  11. 霍奇森,卡利尔;斯拉尼,约翰:系统描述:SCOTT-5(2001)
  12. 科里奇,弗雷德里克:近似一阶推理的逻辑(2001)
  13. Voronkov,安德列:高效自动演绎中的算法、数据结构和其他问题(2001)
  14. 布朗,玛丽安;Sutcliffe,杰夫:系统描述:PTTP+滑翔。语义指导的PTTP(2000)
  15. Caferra,李嘉图;Peltier,尼古拉斯:结合枚举和演绎技术,以增加可构造无穷模型的类(2000)
  16. Dierkes,米迦勒:模型建立在守恒公式决策过程中的应用(2000)
  17. FruleDe: FuleDe:强大模型生成中的超表环检测(1999)
  18. Peltier,尼古拉斯:一种利用故障和对称性的自动化有限模型构建的新方法(1998)
  19. 肖布,托斯滕:不完全信息推理的自动化。从语义基础到高效计算(1998)
  20. 肖布、托斯滕、布吕宁、斯特凡:默认推理的Prolog技术:证明理论和编译技术(1998)