• 康哥洛

  • 引用48篇文章[sw01801]
  • 并举例说明。这个语言包括安排执行优先级的工具。。。变成真的,处理外生的行动. 这个语言不同于其他程序形式。。。不完全指定与本原行动可以在用户定义公理的情况下。。。微积分。的一些数学性质语言被证明,例如,提出的语义。。。
  • 果洛

  • 参考170篇文章[sw02159]
  • 本文提出了一种新的逻辑程序设计方法语言它的解释器自动维护。。。关于前提条件和效果的公理行动世界的初始状态。。。各种可能过程的影响行动在犯下某一特定行为之前。。。比通常可能的抽象化。这个语言似乎很适合高级应用程序。。。
  • 在10篇文章中引用[sw08842]
  • Coala:来自行动 语言到ASP。行动 语言允许紧凑地描述动态。。。提供多种编译技术行动 语言. 我们提供了一个突出的概述。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 由德克萨斯州维护行动奥斯汀小组。的语义语言CCalc的。。。
  • 社会观察家

  • 在10篇文章中引用【sw20845】
  • 规范被形式化为两种行动 语言,C+语言事件演算。。。就业者的优势和劣势行动 语言对于开放代理协会的规范。。。
  • 阿尔姆

  • 引用4篇文章[sw29436]
  • 模块化行动 语言阿尔姆。本文介绍了一种新的模块行动 语言,ALM,并举例说明。。。哪一个级别高行动 语言用作逻辑的前端。。。任务。基于现有的方法行动 语言适用于小型甚至中型。。。
  • 普雷戈

  • 引用5篇文章[sw16793]
  • 普雷戈:安行动 语言在连续域中基于信念的认知机器人。那个地区。。。机器人世界。本文提出了一种新的语言一个被称为prego的系统基于。。。基于传统逻辑的表征丰富性行动 语言,例如上下文敏感的后继状态公理。。。
  • 崔弟

  • 参考7篇文章[sw22090]
  • 修正,偏好推理,偏好聚合,以及行动 语言. 一系列实用程序库处理。。。
  • AWK公司

  • 17条引用[sw23781]
  • 数据驱动脚本语言由一组行动在溪流中。。。文本,例如生成格式化报告。这个语言广泛使用字符串数据类型,关联数组。。。
  • 卢普斯

  • 引用了37篇文章[sw02579]
  • LUPS—一个语言用于更新逻辑程序。大部分的工作是。。。建造?例如,在行动,什么是适当的顺序。。。
  • 墨菲

  • 引用16条[sw22149]
  • 输入语言(也叫Murphi)是一个守卫->行动类似于统一的符号,它。。。在无限循环中执行。墨菲人语言包含对熟悉的数据类型的支持。。。
  • B-序言

  • 17条引用[sw06949]
  • 标准序言语言包括匹配子句在内的多个扩展功能,行动事件处理规则。。。
  • Cplus2ASP

  • 引用3篇文章[sw09897]
  • 实施行动 语言C+(因果逻辑的扩展)非常有用。。。
  • TLA公司

  • 在26篇文章中引用[sw04442]
  • 行动,但它已成为引用TLA+规范的速记语言...
  • 马尔

  • 1条引用[sw26683]
  • 存在状态约束:行动 语言错误的推理行动形成了基础。。。广泛的阶级语言打电话行动 语言已经和一种方法学一起发展。。。认知逻辑共同体如何理解行动一个代理人可能会影响知识。。。设置。本文提出了一种新的行动 语言,$mmathcal{AL}$,它汇集了开发的技术。。。
  • OTSL公司

  • 引用3篇文章[sw21005]
  • 语言属于行动在本体论过渡系统中。在发展的框架内。。。语言对于本体论过渡系统来说,是行动已定义。行动使用。。。
  • 3APL公司

  • 参考33篇文章[sw20859]
  • Agent编程语言. 3APL是一种编程语言执行认知代理。它提供编程。。。基本能力(如信念更新、外部行动,或通信行动...
  • 安曼

  • 引用2篇文章[sw12930]
  • 安曼语言. 这个行动符号建模语言(ANML)提供了一个高级的、方便的、简洁的。。。ASPEN建模语言(反洗钱)。ANML基于行动然后陈述(比如。。。常见形式行动条件、影响和资源使用。这个语言支持生成。。。
  • 瑞巴

  • 引用2篇文章[sw29435]
  • 不同级别的粒度。行动 语言扩展为支持非布尔Fluent。。。程序提供了一个抽象的计划行动. 实现每一个这样的抽象行动,机器人。。。
  • 它的工具

  • 引用2篇文章[sw29142]
  • 使用模型转换来保护行动 语言(GAL)作为中间格式,其工具。。。