• TLAP公司

  • 引用9篇文章[sw09528]
  • TLAP的释放不起作用世俗的 推理,并且它不处理某些功能。。。琐碎的算法。(只是微不足道世俗的-逻辑推理这是很容易用手检查的。。。
  • 麦克马斯

  • 引用68篇文章[sw09463]
  • 系统。同时世俗的各种形式的逻辑已经证明对原因关于反应。。。
  • PDDL

  • 引用90篇文章[SW079号]
  • 探测器探测和航天器控制领域。其他世俗的资源密集型领域包括物流规划。。。让社区关注模特和推理必须面对的问题。。。能够表达的造型语言世俗的以及规划域的数值属性。在本文中。。。
  • 甚高频

  • 在10篇文章中引用[sw20688号]
  • 采用标准技术世俗的约束推理. 我们证明同样的启发。。。
  • 哈斯尔

  • 参考6篇文章[sw13330]
  • 提供统一的验证框架,其中世俗的 推理自然与精心设计的奖励相结合。。。
  • 宇宙

  • 引用5篇文章[sw13329]
  • 统一的框架世俗的 推理与精心设计的基于奖励的分析相结合。宇宙。。。
  • SLMC公司

  • 引用了70篇文章[sw04604]
  • 最广泛使用的检查技术世俗的软件系统的属性。然而,当分析。。。移动性或拓扑结构原因关于空间属性和结构动力学。。。
  • 穆塔克普

  • 参考第4条[sw01597]
  • 用于执行复杂的空间-世俗的 推理. 这种统一的语言似乎也有希望解决。。。
  • 科林

  • 引用5篇文章[sw27480]
  • 推理随着连续线性数字变化,除了世俗的PDDL的语义。。。表达性术语推理规划师的能力:处理连续线性变化。。。需要紧密耦合世俗的和数字推理规划期间。科林结合FF风格前进。。。世俗的松弛规划图启发式CRIKEY3,支持推理直接持续变化。。。
  • 蚂蚁网

  • 引用66篇文章[sw11975]
  • 节点和几个范式下的空间和世俗的交通分布。结果非常令人鼓舞。蚂蚁网。。。并尝试解释原因因为它的优越性。。。
  • 科梅特

  • 参考第4条[sw21352]
  • 次一致性和某些类型世俗的和空间推理. 结合可扩展类型。。。
  • RGITL公司

  • 引用5篇文章[sw13917]
  • RGITL:一个世俗的组合逻辑框架推理关于交错程序。本文给出。。。转移到并发设置世俗的逻辑。我们包括一个交错算子与合成。。。微积分允许证明分解定理推理关于一个交错程序推理关于。。。
  • 莫莫

  • 参考第4条[sw10020]
  • MoMo:模态逻辑推理关于移动性。A世俗的逻辑被提出。。。
  • 概念网

  • 在26篇文章中引用[sw10660]
  • 支持许多实用文本的工具包-推理包括主题在内的真实文档上的任务。。。常识性知识包括空间,物理,社会,世俗的以及日常生活的心理方面。概念网。。。
  • 时间ml

  • 引用2篇文章[sw21219]
  • 解决事件中的四个问题世俗的表达式标记:事件的时间戳(标识。。。对序的语篇属性);推理与上下文不符世俗的表达式(世俗的函数如。。。“上周”和“两周前”);推理关于事件的持续性(多久。。。自然语言问答系统暂时的-基于事件和实体的问题。。。
  • 生态模拟

  • 在14篇文章中引用[sw10699]
  • 海洋科学问题。为了这些原因,Ecopath软件最近被认可。。。政策探索;生态空间世俗的主要设计用于探索撞击的动态模块。。。
  • 玛西

  • 引用8篇文章[sw12882]
  • 已建立的模型检查的标准特性世俗的逻辑学。MARCIE的边界分析引擎。。。考虑定量的近似发动机推理在无界模型上。大多数定量分析。。。
  • 表格

  • 引用18条[sw11674号文件]
  • 模态逻辑的一大类,包括世俗的认知或动态逻辑。我们调查。。。序言,似乎是合理的最新例子的效率。实验结果。。。
  • Petri-PDL

  • 引用3篇文章[sw15081]
  • Petri网,为原因关于Petri网,用。。。重写为线性定义的理论世俗的Maude系统中提供的逻辑模型检查器。。。
  • 很酷

  • 参考第4条[sw11992]
  • coalgebraic本体逻辑求解器Cool,一个通用的推理机情态决定了。。。下一步交替时间片段世俗的逻辑),加上每一个逻辑。。。采用最先进的技术推理者...