• 枸杞

  • 在14篇文章中引用[sw02888]
  • 枸杞的最终目标(机械化演绎在实践推理的逻辑)II项目。。。特定推理能力的综合,如绑架,类比,规划和模型建立,在给定的。。。开发通用框架(LDS,标签演绎的系统)产生特定的推理能力。。。
  • 催眠

  • 在14篇文章中引用[sw02743]
  • 绑架通过让Prolog执行演绎的...
  • 命题解决

  • 1条引用[sw28841]
  • 显示无限制的解决规则是演绎的-完全,在某种意义上。。。人工智能与验证应用诱拐的推理、知识汇编、诊断、调试。。。
  • 太阳能

  • 引用18条[sw00888]
  • 太阳能(SOLAR for Advanced Reasoning)是第一个。。。
  • 水獭

  • 参考文献310[sw02904]
  • 我们目前的自动化演绎系统水獭是设计。。。
  • 依斯

  • 参考文献136篇[sw04436]
  • Yices是一个高效的SMT解决方案,它决定。。。
  • 卡德

  • 参考文献148篇[sw04446]
  • CUDD包提供操作二进制文件的函数。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • z3号

  • 引用479篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 萨奇摩

  • 引用96篇文章[sw06619]
  • SATCHMO:一个用Prolog实现的定理证明程序。这个。。。
  • PDDL

  • 引用89篇文章[sw07079]
  • 规划领域定义语言(PDDL)。PDDL2.1:一个扩展。。。
  • veriT公司

  • 引用了29篇文章[sw07281]
  • veriT:一个开放、可靠和高效的SMT解决方案。。。
  • 猛虎

  • 引用了40篇文章[sw11689]
  • LTUR:一个简化的线性时间单位分辨率算法。。。