• 荷兰语

  • 引用490篇文章[sw05492]
  • 高阶逻辑(HOL)是一个编程证明定理的环境。。。校样工具实施. 内置的决策程序和定理证明程序可以自动建立许多简单的。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • 编程(ASP)实施基于规范的稳定模型语义逻辑 程序. 基本的。。。
  • 二者之间

  • 第169条[sw06888号]
  • 指定,实施,并证明演绎系统的性质,如编程语言和逻辑学. 大。。。
  • 果洛

  • 在169篇文章中引用[sw02159]
  • 域。本文提出了一种新的逻辑 编程一种叫做GOLOG的语言,其解释器自动维护。。。世界的初始状态。这允许程序去思考国家。。。特殊行为。最终的结果是程序可能写得更高。。。情境演算的版本。原型实施在Prolog中已经开发了。。。
  • 佐藤

  • 引用195篇文章[sw04451]
  • 命题的逻辑. 在过去的十年里,我们开发了一种非常高效的实施戴维斯的。。。方法称为SATO。我们的效率程序让我们解决了一百多个。。。
  • ProbLog公司

  • 引用80篇文章[sw06945]
  • 概率逻辑 编程基于Prolog的语言。两个ProbLog实施提供,基于。。。
  • 目标3

  • 引用138篇文章[sw05370]
  • 程序基于序排序方程的规格证明系统逻辑. 它已经成功地。。。第一语言实施参数化编程其模块体系对设计产生了影响。。。
  • L分析

  • 引用41篇文章[SW63043号]
  • 免费简单逻辑 程序可以给闷闷不乐的人。Lparse也工具其他几个。。。稳定模型)将其转换为正常模型逻辑 程序...
  • ARMC公司

  • 在26篇文章中引用[sw04949]
  • 特点在于它的应用方式符合逻辑的处理抽象的推理。。。基于约束编程语言可以导致优雅和简洁实施一个实用的。。。系统与约束逻辑 编程作为实施我们选择的平台。。。
  • 精灵

  • 引用了43篇文章[sw21361]
  • 约束逻辑 编程基于LF的语言合乎逻辑的框架。它没有任何联系。。。用于指定的语言,实施,并证明编程语言和逻辑学. 一直以来。。。
  • 17条引用[sw16105]
  • 煤系逻辑 编程:从语义到实施. 比如说,无限的定义。。。通常用优雅来形容逻辑 程序但是那些SLD反驳的。。。并行,如逻辑 程序可以同时具有递归和共同草写功能。。。朝着实施一种新的方言,CoALP,of逻辑 编程以谨慎的懒惰为特点。。。
  • 皮塔

  • 引用18条[sw06950]
  • 有效支持受限PLP和可能性逻辑 程序. 答案依赖于一个包容。。。PITA(POSS)可伸缩工具可能性逻辑 编程. PITA是版本中受支持的包。。。
  • 亚历夫

  • 引用47篇文章[sw12108]
  • 假设(Aleph)。Aleph是一种归纳法逻辑 编程(ILP)系统。本手册不适用于。。。很好的理论介绍,实施ILP的应用也可以在。。。Raedt(1994),归纳法逻辑 编程:理论与方法,Jnl。逻辑 编程... uk.InvEnt.uk.ftp.pub/cs.uk/cs-InvEnt/ps.uk/cs-InvEnt.uk/cs.u.pub/ps。从那以后实施已经进化到模仿某些功能。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • 实施有趣系统SETHEO的一阶定理证明器逻辑. 系统。。。编程语言LOP(正在开发中)。系统的推理机是实施使用Prolog。。。
  • GNT公司

  • 参考22篇文章[sw00367]
  • 析取语义学逻辑 程序[Gelfond和Lifschitz,1991年]。我们的实施是基于。。。
  • 玩具

  • 参考第55条[sw09812]
  • 陈述性框架编程其基础是基于构造函数的重写逻辑带着懒惰。。。约束求解。这个实施是基于玩具的汇编程序进入序言。。。
  • 黄蜂

  • 引用了37篇文章[sw09565]
  • 解算器处理析取逻辑 程序在稳定的模型语义下。黄蜂工具最初介绍的技术。。。
  • 梅塔普利

  • 在26篇文章中引用[sw04624]
  • 倍数逻辑学可以定义和关联,它是一个系统实施有了支持。。。MetaPRL是与编程语言,允许系统被使用。。。符合逻辑的 编程环境,在哪里程序是由多种规格混合而成,实施,以及验证。。。
  • 诺莫尔

  • 参考22篇文章[sw07094]
  • 语义学工具标准答案集语义逻辑 程序. 它实现了一种新颖的范式。。。
  • 特约

  • 引用16条[sw21364]
  • 基于抽象机器实施λ序言。这个逻辑 编程语言λProlog是基于。。。传统的逻辑 编程语言。一些研究已经证实了。。。λProlog作为实施操作形式对象(如公式)的系统,程序...