• 莫德

  • 647篇参考文献[SW06263]
  • 支持等式和重写逻辑规范和编程对于广泛的应用…可以看作是等式逻辑副语言。除此之外…支持等式规范编程Maude还支持改写逻辑计算。。。
  • 数据记录仪

  • 275篇参考文献[ SW200 23 ]
  • DATALOG是一种声明性的。逻辑 编程句法上的语言是PROlog的子集…在数据集成、信息提取、网络化中的应用程序分析、安全和云计算…追溯到开始逻辑 编程,但它作为一个单独的突出…Jack Minker组织了一个研讨会逻辑和数据库。〔2〕David Maier被誉为…
  • 模特儿

  • 236篇参考文献[SW04631]
  • 正规模型的稳定语义逻辑 程序. ASP的基本理念是编码…一个问题的约束逻辑 程序这样的答案集(稳定模型…程序对应问题的解决方案。然后…让问题解决逻辑 程序引擎寻找答案集…
  • 果洛

  • 167篇参考文献[SW02159]
  • GOOG: A逻辑 编程动态域的语言。本文提出了一种新的逻辑 编程
  • 阿萨特

  • 160篇参考文献[SW02524]
  • 计算答案集逻辑 程序通过使用SAT求解器。简而言之,给出…地面逻辑 程序P,ASAT(X),取决于使用的SAT求解器X,工作…
  • 霍尔

  • 465篇参考文献[SW054 92]
  • 高阶逻辑(HOL)是编程可以证明定理的环境…
  • 埃兰

  • 108篇参考文献[SW02179]
  • 支持定理证明器的设计,逻辑 编程语言、约束求解器和决策程序…支持定理证明器的设计,逻辑 编程语言、约束求解器和决策程序…研究它们的结合。从功能出发编程抽象数据类型的概念…已知的重写范式同时提供了符合逻辑的演绎系统的框架…
  • XSB

  • 136篇参考文献[SW1387]
  • 逻辑 编程UNIX和Windows的演绎数据库系统。XSB-PROLog.这是…
  • Z-树

  • 543篇参考文献[SW11707]
  • 实验可以很快地发展,编程经验不是必需的,虽然有用。逻辑互动与视觉表现,让简单编程正常形式的游戏…
  • 格林戈

  • 89篇参考文献[SW04630]
  • 提供答案集的介绍编程(ASP)工具Grango、Calpple、Celgo和ICLIGO…可翻译的地滚球逻辑 程序由用户提供等价命题逻辑 程序
  • 模型

  • 65篇参考文献[ SW044 35]
  • 计算析取的答案集逻辑 程序逻辑 程序包含选择规则。答案枚举模型的引擎逻辑 程序——在析取的情况下的可能解程序完成语义逻辑 程序. 为大班级程序称为紧,答案…
  • 广告语

  • 100篇参考文献[SW06186]
  • 编程语言它是建立在逻辑 编程和(认知)自治的BDI体系结构…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 逻辑 编程具有功能和谓语:语言巴别塔。我们对实验进行了研究。编程语言希望,标准,ML,或米兰达)逻辑 编程(如Prolog中所体现的)简单…
  • Prolog语言

  • 67篇参考文献[SW0618]
  • 丹尼尔迪阿兹。GNU Prolog接受Prolog +约束程序并产生本地二进制文件(如GCC)…有限域(FD)。这打开了逻辑 编程给用户结合电源…约束编程对于声明性逻辑 编程
  • 扣环

  • 82篇参考文献[SW07095]
  • (扩展)正常答案集求解器逻辑 程序. 它结合了高层次的建模能力…
  • 特威尔

  • 164篇参考文献[SW0688]
  • 演绎系统如编程语言和逻辑学. 使用TWELL的大型研究项目包括…
  • 概率对数

  • 76篇参考文献[SW06945 ]
  • 概率对数是概率的逻辑 编程基于Prolog语言。两个PROBLE实现是可用的…
  • 高阶逻辑

  • 45篇参考文献[ SW01580]
  • HiLog:高阶的基础逻辑 编程. 我们描述一本小说逻辑叫HiLog…提供更合适的基础逻辑 编程比传统谓语逻辑. HiLog…文法、高阶和模块化逻辑 编程和演绎数据库…
  • 卡卡尔

  • 74篇参考文献[SW09899]
  • 违约相关逻辑逻辑 编程. 计算上,CCALC使用可满足性规划的思想…