• LLFP

  • 4篇参考文献[SW20866 ]
  • LLFp:A符合逻辑的 框架用于建模外部证据,侧条件,和证明无关的使用单子…构造相依型理论逻辑的 框架用一个索引的依赖型构造函数…
  • 西夫

  • 15篇参考文献[SW20513]
  • 溯因推理中的可验证Agent交互逻辑程序设计:SIFF框架. 西弗是框架思想…配备基于溯因的语义逻辑程序设计;SIFF的操作组件…
  • CC(FD)

  • 17篇参考文献[SW21237 ]
  • 框架〔33〕,约束的扩展逻辑程序设计(CLP)方案〔21〕。它的约束求解器…
  • 规划师

  • 29篇参考文献[SW02047 ]
  • IsaPlanner是通用的框架在交互式定理证明器伊莎贝尔中证明规划…适用于伊莎贝尔的高等秩序逻辑并且可以很容易地适应伊莎贝尔…
  • RGITL

  • 5篇参考文献[SW13917]
  • RGITL:一个时间逻辑 框架对于交织程序的组合推理。本文给出…时间的独立呈现逻辑依赖保证时间间隔逻辑(RGITL)。这个逻辑
  • 托普洛格

  • 9篇参考文献[ SW0201]
  • 介绍了一种新的电感逻辑程序设计(ILP)框架称为顶部定向假设推导(TDHD)…框架每个假设子句必须是从给定的可推导的。逻辑程序称为…系统首先,我们提出了一个理论。框架对于TDHD和显示标准SLD推导…
  • GHC

  • 43篇参考文献[SW23 765 ]
  • 分为家族逻辑程序设计语言与其他形式主义有着密切的关系。被看作是对这些的概括框架. GHC的简单性和通用性将使…不仅仅是平行的标准逻辑编程语言,但并行编程语言。而且…
  • 阿基拉

  • 10篇参考文献[ SW029 68 ]
  • 水平行为。高级基础逻辑表示一般框架这允许整合…方面框架. 提供了两种软计算技术:Fuzzy逻辑模糊认知…
  • 4篇参考文献[SW11992 ]
  • 余代数逻辑A符合逻辑的 框架覆盖广泛的模态逻辑学,超越…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 一视同仁框架对于所有其他逻辑学,包括高阶逻辑. 它保留…
  • 图菲

  • 9篇参考文献[SW28 901]
  • MLNs)框架结合统计和符合逻辑的推理;他们已经被应用了…
  • 规格

  • 4篇参考文献[SW20606]
  • Bedwyr修改版符合逻辑的 框架. 修改后的BADWYR代码包含在这个…
  • Iopt

  • 8篇参考文献[SW0488]
  • 开发调度应用程序和A逻辑上结构化启发式搜索框架允许合成和评价…
  • 快速算法

  • 4篇参考文献[SW19192]
  • 德尔普:一个加权的可论证论证框架基于递归语义学。在这篇文章中…一般可解性中的保证公式逻辑论证框架通过形式化集体的概念…特定的递归语义学框架可能性可废除的逻辑编程(RP简称为DRP)…
  • 枸杞

  • 14篇参考文献[ SW028 88 ]
  • 给定组合逻辑学将军的发展框架(LDS,标记演绎系统…
  • 塞尔夫

  • 2篇参考文献[SW227 18]
  • CELF- A符合逻辑的 框架对于演绎和并发系统。(系统描述)。同时…符合逻辑的 框架用于指定和实现来自区域的演绎和并发系统,例如编程…理论、安全协议分析、过程代数和逻辑学. CELF是一个实现…
  • DL学习者

  • 7篇参考文献[SW14439 ]
  • 介绍DL学习者框架在描述中学习逻辑学解决类似于归纳法的问题逻辑编程DL学习者包括几种学习算法…学习问题。它是一个跨平台框架用Java实现。这个框架允许容易…
  • TCHR

  • 3篇参考文献[SW01345 ]
  • TCHR: A框架对于CLP。表格约束逻辑程序设计是一种强大的执行机制。约束处理逻辑编程不必担心定点计算。各种应用…高级TCHR框架表格约束逻辑编程它整合了…带表格的约束求解器逻辑编程这个框架很容易用新的应用程序实例实例化…
  • 异阿司匹林

  • 2篇参考文献[SW21729 ]
  • 支持几个定理的通用定理证明器符合逻辑的 框架. ISARMATHLIB使用ZF逻辑实现…
  • 林克斯

  • 1篇参考文献[SW20270]
  • Lincx:线性符合逻辑的 框架具有一流的背景。线性的逻辑提供优雅框架当代语境中的Lincx符合逻辑的 框架具有一流的混合语境。林克斯允许…这样的结构。Lincx推广线性符合逻辑的 框架LLF具有一流(线性)上下文…