• 沙塔拉

  • 引用48篇文章[sw06849]
  • Satallax是一个自动定理校准器对于高阶逻辑。高等教育的特殊形式。。。与完整规则相对应的子句人构成的画面或场景微积分和定期调用miniat来测试。。。
  • TGC公司

  • 1条引用[sw11989]
  • 有效率的人构成的画面或场景 校准器对描述逻辑ALC使用全局缓存。我们报告。。。a的实施人构成的画面或场景 校准器对于描述逻辑ALC,它基于。。。EXPTIME公司人构成的画面或场景在ALC中使用全局缓存的算法。。。戈雷[10]。这个校准器,为带有全局缓存的Tableaux调用TGC“,检查可满足性。。。
  • E-KRHyper公司

  • 参考11篇文章[sw21368]
  • 校准器对于一阶等价逻辑。它实现了新的E-hyper人构成的画面或场景微积分。。。基于平等的超文本处理人构成的画面或场景微积分。E-KRHyper扩展了我们以前的KRHyper。。。与大多数一阶定理的对比校准器,它支持这些应用程序的重要功能。。。
  • F立方

  • 参考7篇文章[sw11383]
  • fCube定理校准器基于直觉的命题逻辑人构成的画面或场景微积分。主要。。。fCube与其它定理的比较技巧校准器. 我们发现校准器表现出色。。。
  • 倾斜

  • 1条引用[sw24052]
  • 直觉主义者就是逻辑学。(一)人构成的画面或场景-基定理校准器直觉逻辑)。A人构成的画面或场景-基于。。。定理校准器因为直觉逻辑是在书中提出的。除了证明一个定理。。。程序。该方法基于人构成的画面或场景经典逻辑的微积分公式。。。同时计算公式。a的应用人构成的画面或场景规则不仅分解公式。。。
  • JTabWb公司

  • 引用2篇文章[sw21865]
  • Java开发框架校准器基于顺序或人构成的画面或场景结石。它提供了一个通用的。。。由用户定义的目标驱动的给定目标校准器. 用户需要定义。。。
  • 凯姆斯

  • 引用2篇文章[sw25421]
  • 基于多策略定理校准器. KE系统,a人构成的画面或场景马可蒙达多里发明的方法。。。在精神分析上人构成的画面或场景方法[2]。多策略定理校准器是一个定理校准器...
  • 阿利安塔普

  • 1条引用[sw09987]
  • 呈现αleanTAP,陈述式人构成的画面或场景-基定理校准器写为纯粹的关系。就像leanTAP。。。
  • 西比尔

  • 参考6篇文章[sw11995]
  • Sibyl是一个自动定理校准器对于带绑定器的多模式hibrid逻辑,相反。。。关系层次结构。它基于人构成的画面或场景微积分是可证明终止和完成。。。
  • 海洛雷斯

  • 参考7篇文章[sw17660]
  • 混合逻辑。HyLoRes是一个直接的解决方案校准器对于混合逻辑。这些是模态的。。。它不是基于人构成的画面或场景算法但是在(直接)分辨率上。HyLoRes执行解析。。。
  • 联普翻译

  • 1条引用[sw27841]
  • 他们之间。这个校准器是基于分析的一个版本人构成的画面或场景特别设计的方法。。。FraCaS和病态文本蕴涵数据集校准器取得了与州相当的高成绩。。。
  • 克里普

  • 1条引用[sw25424]
  • 一阶定理校准器基于模型的超级发电机人构成的画面或场景微积分。。。
  • GQML公司

  • 引用2篇文章[sw11996]
  • 一般定理校准器对于量化模态逻辑。这项工作的主要贡献是双重的。。。呈现模块化人构成的画面或场景微积分,在自由变量风格,处理主要的领域变量。。。作者。此外,本文还提出了一个定理校准器,称为GQML-校准器,基于这样的。。。
  • CSymLean公司

  • 1条引用[sw09983]
  • 这里提出了第一个定理-校准器对于在对称分钟空间上解释的CSL。。。标签的Prolog实现人构成的画面或场景微积分最近提出了这种逻辑。。。
  • 索非亚

  • 1条引用[sw30125]
  • 在定理中应用了超表校准器Sofia,它还提供有用的工具。。。生成(基于对正表)和人构成的画面或场景简化(基于冗余)和有利的启发式。。。称为参数化定理,它使得校准器能够给出复合答案。。。
  • 执政官

  • 1条引用[sw32252]
  • ArchSAT:一个一阶定理校准器有正式的证明输出。Archsat是一个实验性的SMT/McSat。。。解决一阶问题。Archsat集成人构成的画面或场景理论,叠加,重写成McSat核心。。。
  • ILTP

  • 引用25篇文章[sw00437]
  • 逻辑库提供了直观的逻辑证明。。。
  • 数学软件

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