• 烟雾

  • 引用238篇文章[sw04631]
  • 基于稳定的 模型 语义学正常逻辑程序的。基本的。。。编程使答案(稳定的 模型)对应于程序的解。。。
  • 黄蜂

  • 引用36篇[sw09565]
  • 下析取逻辑程序的处理稳定的 模型 语义学. 黄蜂实施最初引进的技术。。。atom支持和技术稳定的 模型检查。关于分支启发式,WASP采用了。。。
  • GNT公司

  • 参考22篇文章[sw00367]
  • 实验实现稳定的 模型 语义学对于析取逻辑程序[Gelfond和Lifschitz。。。可能的模型候选人,而另一个检查最低限度,从要求的分离稳定的 模型...
  • L分析

  • 引用41篇文章[SW63043号]
  • 还实现了其他几个语义学(经典否定,部分稳定的 模型)把它们转换成正常的。。。
  • f2lp公司

  • 在10篇文章中引用[sw09898号]
  • 一阶理论稳定的 模型 语义学进入一个答案集程序,这样。。。规则。基于稳定的 模型在限定范围内,f2lp也可以服务于。。。
  • ASPMT2SMT公司

  • 引用4篇文章[sw13280]
  • 基于泛函的模理论稳定的 模型 语义学. 结果表明,紧。。。从而使SMT解算器能够计算稳定的 模型ASPMT程序。在本文中。。。
  • 动态数学

  • 引用48篇文章[sw06374]
  • 稳定的,基于网络、多语言、用户自适应的数学学习系统。它是一个语义的... 提供多项服务。它是模型-查看控制器架构如图所示。。。
  • CSP校准仪

  • 引用15篇文章[sw11465]
  • 专注于稳定的失败模型F作为基本的指称语义学CSP的。语义上...
  • fasp2smt公司

  • 引用2篇文章[sw33092]
  • 不完全和不精确的知识稳定的 模型 语义学. 这是一个基于翻译的解算器。。。
  • 普拉斯

  • 1条引用[sw18512]
  • 程序设计与一阶理论稳定的 模型 语义学. 本系统说明文件描述。。。一阶逻辑公式(带稳定的 模型 语义学),用条件概率或无条件概率注释。。。
  • 肉桂

  • 参考第8条[sw22087]
  • 国际计算机竞赛模型参数(ICCMA)是一个直接的实现。。。怀疑地推断)和粪便语义学(接地、完整、首选,稳定的)参加比赛的人。。。
  • 权杖

  • 1条引用[sw26908]
  • 规则”要求信号有一个稳定的整个反应循环的值。这个。。。保证,采用最近提出的顺序建设性模型计算。SCEst被停飞。。。建设性语言,这也提供了一个小说语义的英文版的定义及编撰方法。。。
  • 数学软件

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

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用了533篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。