• 莱坦普

  • 37篇参考文献[ SW099 85 ]
  • 将序列演算推广到情态动词 逻辑K和草图证明…定理证明器情态动词 逻辑K和LeTANAP一样优雅。紧随其后…结果可以得到情态动词 逻辑学T、K4和S4。论文…扩展到量化的情况情态动词 逻辑学只要巴肯公式…
  • KL-酮

  • 40篇参考文献[SW28 891]
  • 与命题密切相关情态动词 逻辑学逻辑学程序(如命题动态)逻辑从磨坊里跑出来情态动词程序逻辑学. 因此,对TabLouu算法的研究…逻辑学导致新的技术和结果,但是,也有兴趣情态动词这在描述中起着重要的作用。逻辑学(数量限制、术语公理和角色构造函数……
  • 极小值

  • 45篇参考文献[SW29 625]
  • 基于直觉的类型系统情态动词 逻辑S4提供了一个表达框架来指定…绑定时间的正确性相当于情态动词这个片段的正确性。此外,迷你…
  • 平方码

  • 38篇参考文献[SW03056]
  • 算法对应与完备性情态动词 逻辑. 四、SqEMA的语义扩展…一阶等价与证明正则性情态动词公式,从而建立了很一般的…
  • 桌面

  • 17篇参考文献[SW11674]
  • TabLoux:一个通用的定理证明器情态动词 逻辑学. 给出了一个通用的定理证明系统。命题的情态动词 逻辑学被称为桌面。该系统的主要特点是它的通用性,因为…宽类情态动词 逻辑学,包括通常的时间、认知或动态逻辑学. 我们调查…这样的语义证明方法情态动词 逻辑学因为我们相信他们的模型构建…
  • 模特儿

  • 18篇参考文献[SW12368]
  • 基于精益表的命题演绎情态动词 逻辑学. MODLANTAP是一个精益的Prolog实现…命题的模块化标记表演算情态动词 逻辑学(标签包含免费的和通用的…与其他相当复杂的实现情态动词演绎。ModLeanTAP的发展受到启发…基于精益表的一阶证明器逻辑莱坦普MODLANTAP版本2包括额外的搜索…
  • 科洛斯

  • 13篇参考文献[SW07016]
  • Solver CoLoSS逻辑Satisfiability Solver,决定可满足性情态动词公式在一个通用的…确定可满足性的空间算法情态动词 逻辑学这是适用于余代数语义学的。Pauly联盟逻辑分级的情态动词 逻辑和概率情态动词 逻辑.逻辑学很容易整合…包括两个融合情态动词 逻辑学作为特例。因此自动…
  • MSPASS

  • 23篇参考文献[SW17667 ]
  • 可以作为一个情态动词 逻辑定理证明器,一个定理证明器,用于描述…
  • 斯巴达克斯

  • 14篇参考文献[SW12426]
  • 混合多模式的表格证明器逻辑与全球情态自反和传递关系。斯巴达克斯基本分支的惰性分支情态动词 逻辑K和观察这两种技术的高效性…
  • MCSMA-SLK

  • 15篇参考文献[SW2478]
  • 认知策略的标记算法逻辑 情态. 我们提供详细的检查…
  • QMLTP

  • 7篇参考文献[SW0915]
  • 一阶QMLTP问题库情态动词 逻辑学. 量化情态动词 逻辑定理证明(QMTLP)一阶证明(ATP)系统情态动词 逻辑学. 图书馆的主要目的…图书馆1.1版情态动词 逻辑学K,D,T,S4和S5与…多个问题情态动词 逻辑也包括在内…
  • HTAB

  • 11篇参考文献[SW12427 ]
  • 这两者都密切相关。情态动词 逻辑描述逻辑. 各种证明…杂种机理逻辑存在,但唯一广泛使用的证明系统,Hyeles…已经广泛用于两者情态动词描述逻辑学. TabLoux算法也被开发了…
  • 并发工作台

  • 12篇参考文献[SW1479]
  • 预定义;定义一个强大的命题情态动词 逻辑并检查一个给定的过程是否满足…
  • 洛特雷

  • 24篇参考文献[SW0764]
  • LoTREC:逻辑的TabLoux研究工程伙伴。在本文中,我们描述了一个通用的TabLoux系统…公式的可满足性检验情态动词描述逻辑学. 这个系统叫做LoTCRe2.0…
  • 梅兰科普

  • 6篇参考文献[SW21522]
  • 一阶连接证明器情态动词 逻辑. MLANCOP是一个完全自动化的定理证明器…一阶情态动词 逻辑. 证明搜索是基于前缀连接演算…捕获不同的克里普克语义情态动词 逻辑学. MelANCOP在Prolog中实现。线。它支持标准情态动词 逻辑学D,T,S4,S5与常数,累积…
  • MGTP

  • 7篇参考文献[SW09701]
  • 基于一阶定理证明的MGTP算法逻辑. 本文介绍了主要结果…否定作为失败,溯因推理情态动词 逻辑系统,在MGTP上。这些技术共享…
  • EVT

  • 7篇参考文献[SW09805]
  • 在A中的行为属性情态动词 逻辑递归的。我们给出一个总结…
  • 海洛斯

  • 7篇参考文献[SW17660]
  • 杂交种证明器逻辑学. 这些是情态动词喜欢逻辑学用设施来引用对象…情态动词(或混合)输入,没有翻译成背景逻辑学. Hyeles熔断状态…
  • 斯特尔特

  • 10篇参考文献[SW0972]
  • 输入一种特殊类型的逻辑程序与情态动词算子(称为可拼接时态)逻辑程序
  • 4篇参考文献[SW11992 ]
  • 本体论逻辑求解器,一个通用的推理机,决定了可满足性。情态动词(而且,更多…全球假设——在描述中逻辑说说,我们支持一个TBox将军,并内化一个布尔…覆盖范围广的框架情态动词 逻辑学超越关系语义。酷酷的核心…关系实例和分级情态动词 逻辑Pauly联盟逻辑(下一个…