• 莫德

  • 引用655篇文章[sw06233]
  • 支持等式和重写逻辑规范和编程对于广泛的应用。。。可以看作是一个等式逻辑亚语言。再说。。。支持等式规范和编程,Maude还支持重写逻辑计算。。。
  • 数据日志

  • 引用279篇文章[sw20023]
  • 数据日志是一个声明性的逻辑 编程在句法上是序言的一个子集的语言。。。应用于数据集成、信息提取、网络化,程序分析、安全和云计算。。。可以追溯到逻辑 编程但它作为一个独立的。。。杰克·明克组织了一个关于逻辑和数据库。[2]大卫·梅尔被认为。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • 正规的稳定模型语义逻辑 程序. ASP的基本思想是编码。。。作为一个问题的约束逻辑 程序这样答案集(稳定模型。。。程序对应于问题的解决方案。然后。。。通过让逻辑 程序找到答案集的引擎。。。
  • 果洛语

  • 在169篇文章中引用[sw02159]
  • 果洛:A逻辑 编程动态域语言。本文提出了一种新的逻辑 编程...
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • 计算集的答案逻辑 程序通过使用SAT解算器。简而言之,鉴于。。。地面逻辑 程序P、 ASSAT(X),取决于所用的SAT解算器,工作。。。
  • 荷兰语

  • 引用483篇文章[sw05492]
  • 高阶逻辑(HOL)是一个编程证明定理的环境。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 支持定理证明器的设计,逻辑 编程语言,约束求解器和决策程序。。。支持定理证明器的设计,逻辑 编程语言,约束求解器和决策程序。。。研究他们的组合。ELAN从功能编程抽象数据类型的概念。。。已知的重写范式提供了符合逻辑的推理系统的框架。。。
  • Z-树

  • 参考文献565篇[sw11707]
  • 实验可以很快发展,而且编程经验是不必要的,虽然有用。。。逻辑互动和视觉表现,让简单编程正常形式的游戏。。。
  • XSB公司

  • 引用文章137[sw13877]
  • 逻辑 编程以及Unix和Windows的演绎数据库系统。XSB序言。它是。。。
  • 外国佬

  • 引用94篇文章[sw04630]
  • 提供答案集的介绍编程(ASP)工具gringo,clap,clingo和iclingo。。。能翻译的地滚球逻辑 程序由用户提供等价命题逻辑 程序...
  • C模型

  • 引用66篇文章[sw04435]
  • 计算任意一个析取的答案集逻辑 程序逻辑 程序包含选择规则。回答。。。用于枚举的模型的引擎逻辑 程序--可能的解决方案,在分离的情况下程序... 的完成语义逻辑 程序. 对于大班程序叫紧了,答案。。。
  • 代理语言

  • 引用100篇文章[sw06186]
  • 编程语言。它基于逻辑 编程以及认知自主的BDI架构。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 逻辑 编程与功能和谓词:语言巴别塔。我们调查了实验编程语言。。。HOPE、Standard、ML或MIRANDA)和逻辑 编程(如序言所示)在一个简单的。。。
  • 序言

  • 引用68篇文章[sw06518]
  • 丹尼尔·迪亚兹。接受约束+序言程序并生成本机二进制文件(就像gcc那样。。。有限域(FD)。这就打开了约束逻辑 编程给用户结合力量。。。约束编程声明逻辑 编程...
  • 扣环

  • 引用90篇文章[sw07095]
  • (扩展)法线的答案集解算器逻辑 程序. 它结合了高级建模能力。。。
  • 特维尔

  • 在169篇文章中引用[sw06888号]
  • 演绎系统,如编程语言和逻辑学. 使用Twelf的大型研究项目包括。。。
  • 炸薯条

  • 引用79篇文章[sw03450]
  • 带约束的下料问题逻辑 编程语言芯片。。。
  • 高阶逻辑

  • 引用的第47条[sw01580号]
  • HiLog:高阶的基础逻辑 编程. 我们描述一部小说逻辑,叫做HiLog。。。逻辑 编程比传统的谓词逻辑. 希洛。。。高阶模文法逻辑 编程,和演绎数据库。。。
  • ProbLog问题

  • 引用了77篇文章[sw06945]
  • ProbLog是一种概率逻辑 编程基于Prolog的语言。有两个ProbLog实现。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 保护角条款。本文介绍了编程语言保护的角形从句是缩写。。。从对存在的考察中诞生逻辑 编程语言和逻辑 编程一般来说,在。。。归入逻辑 编程语言,它与其他形式主义有着密切的关系。。。不仅是平行的标准逻辑 编程平行语言编程语言。而且。。。