• 阿萨德

  • 在168篇文章中引用[sw02524]
  • 解算器)是一个用于计算 回答一组逻辑程序,使用。。。使用的解算器X的工作原理如下:计算完成P并将其转换为。。。存在这样的M)。如果M是回答P的集合,然后返回。。。
  • C模型

  • 引用66篇文章[sw04435]
  • Cmodels是一个计算 回答为析取逻辑程序或逻辑设置。。。程序相当于回答套th!e程序。很不幸的循环数。。。因此,公式可能很大计算他们都可能成为计算上很贵。这个。。。算法计算“根据需要”循环公式以查找回答程序集。。。
  • 新型网络搜索引擎

  • 引用42篇文章[sw13523]
  • Wolfram | Alpha)是一个计算的知识引擎或回答沃尔夫拉姆研究所开发的引擎。。。那个答案事实查询直接由计算这个回答从外部来源的“策划的数据”,而不是。。。
  • 诺莫尔

  • 参考22篇文章[sw07094]
  • 实现一种新颖的范式计算 回答设置依据计算a-着色(非标准图形。。。回答set,这意味着noMoRe是基于规则的。。。
  • SPARQL公司

  • 参考文献121篇[sw07429]
  • 不可能回答一些无限联邦查询和计算的评估的复杂性。。。
  • 外国佬

  • 引用94篇文章[sw04630]
  • 逻辑程序。这个回答这样的程序集可以是计算的通过钩子,这。。。
  • 喘息

  • 参考11篇文章[sw07096]
  • 近几年来,懒散地编程,回答集合编程已经很流行。。。本文提出了一种新的方法计算 回答一套回答设置程序。。。自下而上的方法计算属于回答设置(如在现有系统中。。。计算回答套。这个实现是用。。。
  • f2lp公司

  • 在10篇文章中引用[sw09898号]
  • 系统f2lp–计算 回答一阶公式集。我们提出了一个实现。。。现有的回答集合解算器可用于计算通用语言。量词。。。
  • 天冬氨酸

  • 引用18条[sw08820号
  • 框架使用回答-设置编程。系统aspatix是一个用于计算可接受的扩展。。。输入,并使用回答-为设置解算器DLV计算指定的扩展类型。。。
  • 引用104篇文章[sw12277]
  • 图形)。所谓的预处理算法可以计算某些信息(数据结构或索引。。。路径或距离查询,应该是回答尽快。。。空间网络和可达性查询;以及理论计算机科学家分析距离神谕和稀疏扳手。。。
  • 鸭嘴兽

  • 参考7篇文章[sw01343]
  • 管理分布式计算属于回答在一般框架内设置。这个设计。。。与多种多样的计算的元素。从一般的算法方案开始。。。开发分布式平台回答设置计算,描述其目前的实施状况。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 与默认逻辑和逻辑编程有关。计算上计划,可满足性的使用。。。亚利桑那州立大学,使用回答设置解算器而不是SAT解算器。。。
  • VSDITLU公司

  • 引用9篇文章[sw08725]
  • 获得正确的答案如果标准技术在计算机代数系统失败。。。能够获得正确的答案如果计算机代数系统没有。我们扩展。。。
  • 斯波克

  • 引用5篇文章【sw30413】
  • 系统spock,一个调试支持工具回答-利用ASP本身设置程序。。。独立于实际计算属于回答设置。。。
  • 电影

  • 第3条引用[sw27497]
  • 程序提供给回答将解算器设置为计算电流模型。。。多镜头ASP,由迭代组成回答设置计算在没有重新启动的情况下改变程序。。。一个叫做Moviola的系统,利用多镜头回答解决方案。使用系统。。。交互式地编写一个DLP,更新它,计算它的模型根据不同的语义。。。
  • 卡拉

  • 引用5篇文章[sw30392号文件]
  • 逻辑理论。这些回答集合是计算的从代表理论的程序中。。。iddpraw的开发允许可视化回答套。卡拉的工具,在这里介绍。。。
  • 苏尔克

  • 引用了119篇文章[sw11355]
  • 数据库行到{0,1}。真实的回答是∑iεsf(di),并且有噪声。。。隐私要求。其次,我们检查计算的生气原始人的力量。我们展示。。。