• leanTAP公司

  • 在38篇文章中引用[sw09985]
  • 将顺序演算推广到情态动词 逻辑然后画一个证明。。。定理证明器情态动词 逻辑像轻拍一样优雅。接下来。。。可以获得情态动词 逻辑学T、 K4和S4。报纸。。。扩展到量化的情况情态动词 逻辑学只要巴肯公式。。。
  • 吉隆坡一号

  • 引用了40篇文章[sw28891]
  • 与命题密切相关情态动词 逻辑学逻辑学程序(如命题动态逻辑... 从普通工厂情态动词和程序逻辑学. 因此,对tableau算法的研究具有重要意义。。。逻辑学产生了新的技术和结果情态动词... 在描述中起着重要的作用逻辑学(数字限制、术语公理和角色建构者。。。
  • 最小值

  • 引用46篇文章[sw29625]
  • 基于直觉的类型系统情态动词 逻辑S4提供了一个表达框架来指定。。。绑定时间正确性相当于情态动词这个片段的正确性。另外,迷你。。。
  • SQEMA公司

  • 在38篇文章中引用[sw03056]
  • 算法的一致性和完备性情态动词 逻辑. 四、 SQEMA的语义扩展。。。一阶等价物及其正则性的证明情态动词从而建立了一个非常普遍的。。。
  • 表格

  • 引用18条[sw11674]
  • TABLEAUX:一个通用的定理证明器情态动词 逻辑学. 我们提出了一个一般定理证明系统。。。命题的情态动词 逻辑学,叫做TABLEAUX。该系统的主要特点是通用性,因为。。。广泛的情态动词 逻辑学包括通常的时间性、认知性或动态性逻辑学. 我们调查。。。这样的语义证明方法情态动词 逻辑学,因为我们相信模型构造他们。。。
  • ModLeanTAP公司

  • 引用18条[sw12368]
  • 基于精益表的命题推理情态动词 逻辑学. ModLeanTAP是一个精益Prolog实现。。。命题的模标记表演算情态动词 逻辑学(其中标签包含免费和通用。。。其他相当复杂的实现情态动词演绎。ModLeanTAP的发展受到启发。。。基于精益表的一阶校正程序逻辑leanTAP公司。ModLeanTAP版本2.0包括附加搜索。。。
  • 巨像

  • 在14篇文章中引用[sw07016]
  • 解算巨人,巨斗士逻辑可满足性求解器,决定情态动词通用公式。。。确定可满足性的空间算法情态动词 逻辑学符合coalgebric语义。这个。。。保利联盟逻辑,分级情态动词 逻辑,和概率情态动词 逻辑.逻辑学易于集成。。。包括二者的融合情态动词 逻辑学作为特例。一个这样自动。。。
  • MSPASS公司

  • 引用24篇文章[sw17667]
  • 它可以用作情态动词 逻辑定理证明器,描述的定理证明器。。。
  • MCMAS-SLK公司

  • 17条引用[sw24778]
  • 知识与策略的标号算法逻辑 模式. 我们提供检查人员的详细信息。。。
  • 斯巴达克斯

  • 在14篇文章中引用[sw12426]
  • 混合多模的tableau证明器逻辑与全球模式以及自反和及物关系。斯巴达克斯。。。懒散的基本分支情态动词 逻辑观察两种技术的高效性。。。
  • QMLTP公司

  • 引用8篇文章[sw09915]
  • 一阶QMLTP问题库情态动词 逻辑学. 量化的情态动词 逻辑定理证明(QMLTP。。。一阶证明(ATP)系统情态动词 逻辑学. 图书馆的主要目的是。。。库的版本1.1情态动词 逻辑学K、 D、T、S4和S5和。。。多解小问题-情态动词 逻辑也包括。。。
  • HTab公司

  • 参考11篇文章[sw12427]
  • 这两者密切相关情态动词 逻辑和说明逻辑. 各种各样的证据。。。混合动力机制逻辑存在,但唯一广泛使用的证明系统,HyLoRes。。。已经广泛应用于这两个领域情态动词和说明逻辑学. Tableaux算法也被开发出来。。。
  • 洛特雷克

  • 引用25篇文章[sw07684]
  • LoTREC公司:合乎逻辑的tableaux研究工程指南。本文描述了一个通用的tableaux系统。。。检验公式的可满足性情态动词和说明逻辑学. 这个系统叫做LoTREC2.0。。。
  • 并发工作台

  • 参考12篇文章[sw14749]
  • 在一个有力的命题中定义情态动词 逻辑给定的进程是否满足。。。
  • 姆兰科普

  • 参考6篇文章[sw21522]
  • 一阶连接校验器情态动词 逻辑. MleanCoP是一个全自动的定理证明器。。。一阶情态动词 逻辑. 证明搜索基于前缀连接演算。。。捕获不同的Kripke语义情态动词 逻辑学. MleanCoP在Prolog中实现。。。线。它支持标准情态动词 逻辑学D、 T,S4,S5和常数,累积。。。
  • 歌德神

  • 参考7篇文章[sw32223]
  • 存在以量化的形式化情态动词 逻辑KB(QML KB)。QML KB已建模。。。
  • 城市污水处理厂

  • 参考7篇文章[sw09701]
  • 基于一阶定理证明器MGTP逻辑. 本文介绍了主要结果。。。否定为失败,溯因推理和情态动词 逻辑系统,在MGTP上。这些技术共享。。。
  • evt公司

  • 参考7篇文章[sw09805]
  • 情态动词 逻辑用递归。我们总结一下。。。
  • 海洛雷斯

  • 参考7篇文章[sw17660]
  • 混合动力校准器逻辑学. 这些是情态动词-像逻辑学有指物体的设施。。。情态动词(或混合)输入,无需转换为背景逻辑学. 海洛雷斯融合了州。。。
  • STeLP公司

  • 在10篇文章中引用【sw09772】
  • 输入特定类型的逻辑程序情态动词时态运算符(称为逻辑程序。。。