• 巴别塔

  • 引用71篇文章[sw03018]
  • 同时体现重写和SLD公司 分辨率并支持潜在无限数据的计算。。。
  • 子叶

  • 引用28篇文章[sw08982]
  • 连续性。操作语义(基于SLD公司-分辨率)被证明是健全和完整的。。。最外层的策略,比不受限制的更有效SLD公司-分辨率,但仍然完整,呈现。。。
  • OPTYap公司

  • 引用13篇文章[sw13883]
  • 认为Prolog的评估策略--SLD公司 分辨率--往往限制了逻辑的潜力。。。有效克服的可行技术SLD公司对无限循环的敏感性。。。在上下文中并行化搜索SLD公司 分辨率确实可以有效和自然地概括。。。
  • 黄蜂

  • 引用2篇文章[sw09566]
  • 类似于SLD公司 分辨率. Galliwasp通过执行普通规则生成候选答案集。。。
  • 混合对数

  • 1条引用[sw01565]
  • 直接在MixLog中编码;两者都SLD公司 分辨率自下而上的执行计算不动点。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 概念网

  • 在26篇文章中引用[sw10660]
  • ConceptNet:一个实用的常识推理工具包。ConceptNet是。。。
  • 校准仪

  • 参考第4条[sw11993]
  • 一种线性逻辑证明器(llprover)。这个小程序。。。
  • 进步

  • 引用4篇文章[sw13855]
  • ProGolem:一个基于相对最小概化的系统。。。
  • 17条引用[sw16105]
  • 余代数逻辑程序设计:从语义到实现。创造。。。