• 名义伊莎贝尔

  • 引用68篇文章[sw12055]
  • 证明人。它为推理关于编程语言计算涉及命名界。。。等效并自动建立推理α-等价项的基础设施。我们也证明了自己的坚强。。。
  • 赛车手

  • 引用了65篇文章[sw09837]
  • 下载选项卡。Racer提供标准的实现推理T盒和A盒的问题。。。访问其推理来自公共Lisp和Java的服务。。。
  • PDDL

  • 引用90篇文章[sw07079]
  • 让社区关注模特和推理必须面对的问题。。。
  • 奥斯卡

  • 引用44篇文章[sw26328]
  • 原因不折不扣的。本文描述了一个通用的可撤销构造推理机那个。。。基于论证的可撤销概念推理. 因为有一套可以推翻的结论。。。推理机通常不会递归枚举,不可撤销推理机基于丰富的逻辑。。。准则认真对待可撤销的观点推理可能涉及无限多个周期的收回。。。
  • 小脚

  • 引用的第52条[sw09787]
  • 分离逻辑是用于推理关于操作指针数据结构的程序。。。而不是他们的详细内容推理完全自动化。演示文稿。。。指针的存在;以及模块化推理关于并发程序。。。
  • 阿贝拉

  • 引用49篇文章[sw09461]
  • Abella[3]是一个交互式系统推理关于对象语言的某些方面。。。规范的层次逻辑方法推理. 一个级别由规范逻辑定义。。。他们的死刑。第二层,叫做推理逻辑,嵌入规范逻辑并允许。。。
  • RRL公司

  • 引用了55篇文章[sw28904]
  • 自动化实验环境推理基于重写技术的等式逻辑算法。。。自动化中的困难和挑战性数学问题推理文学和研究工具。。。
  • CCalc公司

  • 引用的第75条[sw09899]
  • 诺曼·麦凯恩的论文《常识中的因果关系》推理关于行动(德克萨斯大学。。。
  • 彗星

  • 引用了70篇文章[sw03051]
  • 合理的时间限制。这本书介绍了一种方法。。。
  • SLMC公司

  • 引用了70篇文章[sw04604]
  • 移动性或拓扑结构原因关于空间属性和结构动力学。。。
  • 马拉雷亚

  • 引用了43篇文章[sw10278]
  • MaLARea:自动化的元系统推理在大理论中。MaLARea(自动学习机。。。推理)是一个简单的元系统迭代地结合演绎自动推理工具。。。
  • 麦克马斯

  • 引用68篇文章[sw09463]
  • 各种形式已被证明对原因关于反应式系统,基于代理的场景通常是。。。
  • 事实++

  • 引用67篇文章[SW096号文件]
  • 众所周知的事实猫头鹰-DL推理机. FaCT++使用已建立的FaCT算法,但是。。。
  • 弗里尔

  • 引用44篇文章【sw18490】
  • 模糊性与证据性推理在人工智能中。提出了不确定性理论,与。。。基于证据和案例的决策支持系统推理模糊控制和数据库。附带的磁盘。。。
  • 简单的

  • 参考61篇文章[sw12290]
  • 需要多次迭代才能收敛到合理的解决方案。在本文中,我们讨论。。。
  • SGeMS公司

  • 参考58篇文章[sw13298]
  • 有两个目标:成为合理的全面、人性化,服务于。。。
  • GEX公司

  • 参考33篇文章[sw09961]
  • 各种数学概念。作为一个自动化的推理软件,我们可以建立动态逻辑模型。。。推理他们自己。1) 几何专家(GEX)是一个强大的几何计算机程序推理. 在。。。最有效的几何方法推理在过去的二十年里,包括。。。