• PDDL

  • 引用88篇[sw07079]
  • 迎接应用的挑战。这个国际 计划 比赛起到了重要的激励作用。。。
  • 斯坦

  • 引用的第38条[sw03348]
  • 格拉普兰,参加了第一场比赛国际的 计划 竞争在AIPS的98和展示了有趣的表演。。。
  • 购物2

  • 27条引用[sw17940]
  • 2002年卓越表现国际 计划 竞争. 本文介绍了SHOP2的特点。。。
  • 萨帕

  • 引用16条[sw20683]
  • 第三种情况下的时间限制国际 计划 竞争,在AIPS-02举行。我们描述。。。
  • FODD计划员

  • 在14篇文章中引用[sw07747]
  • 域,包括最近出现的问题国际的 计划 竞争,并显示竞争的性能与。。。
  • FluCaP公司

  • 在10篇文章中引用[sw07748]
  • 2004年概率轨道国际 计划 竞争而且比2004年的IPC更具优势。。。
  • 工控机-4

  • 在10篇文章中引用[sw03495]
  • 国际 计划 竞争IPC-4将包括一个概率计划第一次追踪。。。
  • 祭坛

  • 参考7篇文章【sw20691】
  • 阿尔塔特参加了最后一场比赛国际的 计划 竞争(AIPS-2000)。虽然那个版本。。。
  • 流浪汉

  • 引用5篇文章[sw08968号]
  • 计划域,包括四个国际 计划 竞争(IPC)结构域和两个合成域。。。
  • NMRDPP公司

  • 引用4篇文章[sw10437]
  • 特殊情况。一开始国际概率计划 竞争,NMRDPP能够竞争。。。
  • 方案

  • 引用2篇文章[sw20682]
  • 成功参与国际的 计划 竞争. 工程说明描述了这个建筑。。。
  • 足球服务器

  • 在10篇文章中引用【sw20844】
  • 学习足球比赛的选择计划. 其他研究人员使用足球服务器来调查。。。他们在RoboCup-97的进展国际的 竞争即将举行的机器人足球。。。
  • 量子器

  • 参考22篇文章[sw28381号文件]
  • 释放我们在小调上工作的quantor内部的改进。基本算法没有改变。。。实际上很重要的问题,比如不确定性计划或者符号模型检查可以公式化。。。提交至2004年SAT解决方案竞争. 此应用程序将更详细地描述。。。
  • SAT竞赛

  • 引用8篇文章[sw04623]
  • 国际的比赛网页。目的竞争确定新的挑战。。。关于他们所在地区基于SAT的技术(计划硬件或软件验证等)提交。。。
  • 数学软件

  • 引用5693篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 濑户

  • 第119条引用[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • R

  • 引用了7603篇文章[sw00771]
  • 是一种统计语言和环境。。。