• 莫德

  • 引用651篇文章[sw06233]
  • 语言和系统支持等式和重写逻辑规范和程序设计为了广泛。。。
  • XSB公司

  • 引用137篇文章[sw13877]
  • 逻辑 编程和演绎数据库系统对于Unix和Windows。XSB序言。它是。。。
  • 水银

  • 引用了65篇文章[sw08333]
  • 效率远远超过现有的逻辑 程序设计 系统,接近传统程序设计 系统...
  • 特维尔

  • 引用167篇文章[sw06888号]
  • 证明演绎的性质系统例如程序设计语言和逻辑学. 大型研究项目使用。。。汇编语言,承载代码的基本证明系统,以及标准的一种类型安全证明。。。
  • 雅普序言

  • 引用42篇文章[sw06948号]
  • 系统,重点介绍了对逻辑 程序设计社区。首先,它描述了。。。高效的Prolog引擎。第二,最多逻辑 程序设计 系统有一个相当有限的索引算法。。。并行性和制表逻辑 程序设计 系统...
  • 烟雾

  • 第238条引用[sw04631]
  • 烟雾系统是一个答案集编程(ASP)基于稳定模型语义的实现。。。正常的逻辑 程序. ASP的基本思想是对约束进行编码。。。
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • 解算器)是系统用于计算a的答案集逻辑 程序通过使用。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 历史。原始LCF系统是一个证据检查程序在斯坦福大学开发的。。。高阶证明助手逻辑最初是为硬件推理而开发的。。。程序设计它背后的语言和创新的多态类型系统同时使用。。。逻辑学. 米尔纳写的代码至今仍在使用,而硬件的设计。。。
  • 目标3

  • 引用138条[sw05370]
  • 程序规范和证明系统基于有序排序方程逻辑. 它已经成功地。。。实现参数化的第一语言程序设计及其模块系统影响了设计。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 演绎系统Otter是用来证明一阶定理的逻辑平等地。。。等式程序设计 系统. 水獭是第四代阿贡国家实验室推断系统他们的祖先。。。抽象代数与形式化研究逻辑. 水獭和它的前辈已经被使用。。。
  • 亚历夫

  • 引用42篇文章[sw12108]
  • 亚历夫)。Aleph是一种归纳法逻辑 编程(ILP)系统. 本手册不适用于。。。Raedt(1994),归纳法逻辑 编程:理论与方法,Jnl。逻辑 编程... 其他几个ILP的功能系统. 其中一些与Aleph相关的是:CProgol。。。
  • C模型

  • 引用66篇文章[sw04435]
  • 系统计算任意一个析取的答案集逻辑 程序逻辑 程序包含选择。。。模型逻辑 程序--可能的解决方案,在分离的情况下程序卫星解算器zChaff。。。验证找到的模型的最小值。这个系统Cmodels是基于。。。的完成语义逻辑 程序. 对于大班程序叫紧了,答案。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 行动(德克萨斯大学,1997年)。现在系统德州行动组织维持着。。。CCalc与违约有关逻辑逻辑 程序设计. 计算上,CCalc使用可满足性的思想。。。
  • DLV公司

  • 引用了30篇文章[sw04640]
  • 演绎数据库系统,基于析取逻辑 程序设计,为一些高级。。。技术)。这个系统支持基于符合逻辑的形式主义有很高的。。。表达能力程序能够在现场代表相关的实际问题。。。矛盾的知识。第一次发布系统1997年上市,几年后。。。
  • OPTYap公司

  • 引用13篇文章[sw13883]
  • 程序设计.逻辑 编程提供了隐式并行的巨大潜力,从而允许并行系统经常。。。分辨率——通常会限制逻辑 程序设计范式。因此,过去几年。。。的并行表引擎逻辑 程序设计 系统. OPTYap建立在Yap高效的顺序序言。。。平行的应用于或平行于逻辑 程序适用范围逻辑 编程...
  • 杰森

  • 参考61篇文章[sw06187]
  • 编程多代理系统用杰森的话。Jason是一个开源解释器。。。AgentSpeak的扩展版本逻辑-基于agent的程序设计语言——用Java编写。。。允许用户构建复杂的多代理系统能够在环境中工作。。。
  • 引用了30篇文章[sw24694]
  • 诱导逻辑 程序:箔材及相关系统. 箔片是一个第一级的学习系统...
  • ETPS公司

  • 引用的第152条[sw06302]
  • 以ETPS的名义逻辑卡内基梅隆大学的一些课程。。。一些完整的例子)和玩系统. 使用ETPS的学生发出命令。。。程序从而使学生能够集中精力符合逻辑的证据背后的问题。。。彼得安德鲁斯,数学导论逻辑和类型理论:通过证明达到真理。。。
  • ARMC公司

  • 在26篇文章中引用[sw04949]
  • 工业软件系统. 它的显著特点在于它的应用方式符合逻辑的推理。。。基于约束程序设计语言可以导致一个优雅和简洁的实现一个实用的。。。调查。使用序言系统加上约束逻辑 编程作为实现平台的扩展。。。
  • 梅塔普利

  • 在26篇文章中引用[sw04624]
  • 其中多个逻辑学可以定义和关联,并且它是一个系统使用。。。MetaPRL是与程序设计语言。。。这使得系统用作符合逻辑的 程序设计环境,在哪里程序...