-
康哥洛
- 引用48篇文章[sw01801]
- 并举例说明。这个语言包括安排执行优先级的工具。。。变成真的，处理外生的行动. 这个语言不同于其他程序形式。。。不完全指定与本原行动可以在用户定义公理的情况下。。。微积分。的一些数学性质语言被证明，例如，提出的语义。。。
-
果洛
- 参考170篇文章[sw02159]
- 本文提出了一种新的逻辑程序设计方法语言它的解释器自动维护。。。关于前提条件和效果的公理行动世界的初始状态。。。各种可能过程的影响行动在犯下某一特定行为之前。。。比通常可能的抽象化。这个语言似乎很适合高级应用程序。。。
-
煤
- 在10篇文章中引用[sw08842]
- Coala：来自行动 语言到ASP。行动 语言允许紧凑地描述动态。。。提供多种编译技术行动 语言. 我们提供了一个突出的概述。。。
-
社会观察家
- 在10篇文章中引用【sw20845】
- 规范被形式化为两种行动 语言，C+语言事件演算。。。就业者的优势和劣势行动 语言对于开放代理协会的规范。。。
-
阿尔姆
- 引用4篇文章[sw29436]
- 模块化行动 语言阿尔姆。本文介绍了一种新的模块行动 语言，ALM，并举例说明。。。哪一个级别高行动 语言用作逻辑的前端。。。任务。基于现有的方法行动 语言适用于小型甚至中型。。。
-
普雷戈
- 引用5篇文章[sw16793]
- 普雷戈：安行动 语言在连续域中基于信念的认知机器人。那个地区。。。机器人世界。本文提出了一种新的语言一个被称为prego的系统基于。。。基于传统逻辑的表征丰富性行动 语言，例如上下文敏感的后继状态公理。。。
-
AWK公司
- 17条引用[sw23781]
- 数据驱动脚本语言由一组行动在溪流中。。。文本，例如生成格式化报告。这个语言广泛使用字符串数据类型，关联数组。。。
-
卢普斯
- 引用了37篇文章[sw02579]
- LUPS—一个语言用于更新逻辑程序。大部分的工作是。。。建造？例如，在行动，什么是适当的顺序。。。
-
墨菲
- 引用16条[sw22149]
- 输入语言（也叫Murphi）是一个守卫->行动类似于统一的符号，它。。。在无限循环中执行。墨菲人语言包含对熟悉的数据类型的支持。。。
-
马尔
- 1条引用[sw26683]
- 存在状态约束：行动 语言错误的推理行动形成了基础。。。广泛的阶级语言打电话行动 语言已经和一种方法学一起发展。。。认知逻辑共同体如何理解行动一个代理人可能会影响知识。。。设置。本文提出了一种新的行动 语言，$mmathcal{AL}$，它汇集了开发的技术。。。
-
OTSL公司
- 引用3篇文章[sw21005]
- 语言属于行动在本体论过渡系统中。在发展的框架内。。。语言对于本体论过渡系统来说，是行动已定义。行动使用。。。
-
3APL公司
- 参考33篇文章[sw20859]
- Agent编程语言. 3APL是一种编程语言执行认知代理。它提供编程。。。基本能力（如信念更新、外部行动，或通信行动...
-
安曼
- 引用2篇文章[sw12930]
- 安曼语言. 这个行动符号建模语言（ANML）提供了一个高级的、方便的、简洁的。。。ASPEN建模语言（反洗钱）。ANML基于行动然后陈述（比如。。。常见形式行动条件、影响和资源使用。这个语言支持生成。。。
-
瑞巴
- 引用2篇文章[sw29435]
- 不同级别的粒度。安行动 语言扩展为支持非布尔Fluent。。。程序提供了一个抽象的计划行动. 实现每一个这样的抽象行动，机器人。。。
