萨奇莫

StCHIMO:Prolog中实现的一个定理证明器。SACCHMO定理证明器是使用模型生成的第一个系统之一,即自底向上的证明过程。证明器是由一个小Prolog程序给出的,它实现了一个表格验证过程。一个限制是它需要范围限制公式。


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

显示结果1至20的96。
按年份排序(引文
  1. Boaina,Maria Paola;Plaisted,David A.:语义指导的目标敏感推理:推理系统和完备性(2017)
  2. 科瓦尔斯基,罗伯特;萨德里,法里巴:逻辑编程(无逻辑编程)(2016)
  3. PLASTED,David A.:一阶自动演绎的历史与展望(2015)
  4. 希伦布兰德,托马斯;魏登巴赫,克里斯托夫:有界域的叠加(2013)
  5. 张,韩涛;张,简:MaCe4和SEM:有限模型生成器的比较(2013)
  6. Balduccini,马塞洛(ED);儿子,Tran Cao(ED):逻辑编程,知识表示,和非单调推理。第六十五岁生日之际献给Michael Gelfond的散文(2011)
  7. Br u nn勒,卡伊(ED);Metcalfe,乔治(ED):用分析表自动推理和相关方法。第二十届国际会议,表2011,伯尔尼,瑞士,7月4日- 8, 2011。诉讼(2011)
  8. 科瓦尔斯基,罗伯特;SADRI,FARABA:具有破坏性数据库的溯因逻辑程序设计Agent(2011)
  9. 鲍姆加特,彼得;Furbah,Ulrich;佩尔泽,BJ Orn:等式的超表演算及其在有限模型计算中的应用(2010)
  10. 鲍姆加特,彼得;托斯滕森,EvGyij:基于实例的方法.简要概述(2010)伊波尔特
  11. De Raedt、卢克:逻辑与关系学习中的知识与推理(2010)
  12. 康斯特布尔,罗伯特;McCyyd OWSKI,WojiCe:从命题演算的完备性证明中提取分辨率算法(2009)
  13. Sutcliffe,杰夫:TPTP问题库和相关基础设施和相关基础设施。FOF和CNF部件,V3.5.0(2009)
  14. 鲍姆加特,彼得;Tinelli,CeSEAL:作为一阶DPLL方法的模型演化演算(2008)
  15. 近,Joseph P.;Byrd,William E.;弗里德曼,Daniel P.:(\alpha)\ Tr.sFula\TexTiTAPAP:一阶经典逻辑的声明性定理证明器(2008)
  16. Peltier,尼古拉斯:自动化模型构建:从有限模型到无限模型(2008)
  17. Chao,Yu Yan;He,李凤;Nakamura,Tsuyoshi;See,郑浩;铃木,Kenji;ITOH,HIDENORI: HelBand定理的改进及其在模型生成定理证明中的应用(2007)伊波尔特
  18. Lez,莱因霍尔德;Stnz,Gernot:断开TabLaU演算(2007)
  19. 佩尔泽,B.O.RN;韦恩哈德,克里斯托夫:系统描述:E-KrHype(2007)
  20. 鲍姆加特,彼得;施密特,Renate A.:自底向上模型生成方法的阻塞和其他增强(2006)