• 纳普罗什

  • 参考12篇文章[sw28307]
  • 纳普罗什项目(自然 语言研究半形式化语言数学从。。。Naproche将开发受约束的 自然的 语言(CNL)对于数学文本和改编的证明。。。纳普罗什项目。它接受受约束的但是普通数学的丰富子集语言包括。。。
  • 米兹3

  • 参考11篇文章[sw18631]
  • 证明是受约束的 自然的 语言就像在伊莎贝尔/伊萨尔)。我们的方法结合了。。。
  • 罗格莫

  • 引用8篇文章[sw01573]
  • 可扩展的多用户虚拟世界自然的 语言 控制. LogiMOO是一个基于BinProlog的虚拟。。。通过受约束的用假设语法编写的英语界面。语言新闻报道。。。允许我们处理高级自然的 语言像回指和相对化这样的结构。。。受约束的 语言提供一个容易适应其他自然的 语言比英语。。。
  • 克莱姆

  • 引用71篇文章[sw09424]
  • 构建过程的操作员。克莱姆自然地支持显式本地化编程。地方是一流的。。。其他数据),但是语言提供协调机制控制位置之间的交互协议。。。有助于讨论语言并提供实施指南。克莱姆。。。许多移动代码编程范例可以自然地在内核中实现语言. 我们也。。。
  • 彭加斯

  • 参考第2条【sw27488】
  • 这篇文章,我们描述了架构语言以及PENGASP的创作工具。。。非单调规范的编写受约束的 自然的 语言在帮助下。。。预测编辑器与受约束的 自然的 语言翻译规范文本的处理器。。。可执行应答集程序(ASP)。这个受约束的 自然的 语言处理器额外生成前瞻类别。。。
  • 佩尔帕克

  • 引用了20篇文章[sw00698]
  • 自然的形式。佩尔帕克语言预处理器生成FORTRAN控制有接口的程序。。。
  • 阿纳康

  • 参考第2条[sw14801号]
  • 规范性文本分析受约束的 自然的 语言. 在本文中,我们关注的是。。。用a编写的规范性文本受约束的 自然 语言(CNL)。为此,我们提出一个建议。。。
  • 乌胡拉

  • 1条引用[sw31979]
  • 使用指定应答集程序受约束的 自然的 语言. 在本文中,我们介绍了一个工具。。。在中指定问题描述受约束的 自然的 语言然后翻译成。。。Uhura基于一个新的受约束的 自然的 语言叫陆,反过来。。。改编自PENGASP,a受约束的 自然的 语言应用于鹏ASP系统,开发了。。。
  • 流利的编辑

  • 1条引用[sw31360]
  • 操作复杂的本体受约束的 自然 语言. 流畅的编辑器提供了一个更多的。。。主要特点是受约束的英语作为知识模型语言. 支持。。。
  • 铁路

  • 1条引用[sw21507]
  • 这项工作我们介绍一个受约束的 自然的 语言,RailCNL,它被设计成一个中间。。。
  • 竖琴

  • 引用16条[sw26323]
  • 自然性,在人工智能环境中的效率、有用性,以及控制结构。。。实现这些目标,HARP接受整个语言一阶逻辑,即避免转换。。。
  • 乔托

  • 引用16条[sw08971]
  • 乔托:时间触发了语言用于嵌入式编程。乔托提供了一个抽象的程序员模型。。。嵌入的控制具有硬实时约束的系统。典型的控制应用程序包括定期。。。在选择上有很大的灵活性控制平台以及很多。。。验证和合成控制软件。触发的时间自然乔托实现了时间的可预测性。。。
  • 典范

  • 引用9篇文章[sw13306]
  • 控制政策。Paragon策略在基于逻辑的策略中指定语言. 凭借美德。。。他们明显的有状态自然,这些政策似乎比那些政策更具表现力和灵活性。。。
  • 虎鲸

  • 引用5篇文章[sw09792]
  • 面向对象的优势自然爪哇岛的语言打开数据。。。管道,允许开发人员控制在他们的可视化应用程序上。重要的是,新型。。。
  • LFLC 2000年

  • 参考11篇文章[sw08217]
  • LFLC 2000(语言模糊逻辑控制器)是专门的软件,这是基于深入的结果。。。因此只能使用自然的 语言不用想他们是怎么。。。表现得好像“合伙人”明白语言人类使用者。LFLC 2000写的。。。我们可以用它来模拟简单的控制在闭环反馈回路中。LFLC2000也是。。。
  • SafeDpi公司

  • 引用13篇文章[sw01989]
  • 安全PI:A语言对于控制移动代码safeDpi是Picalculus的分布式版本。。。传入代码。我们还展示了自然的语境定义的行为对等可以被描述为。。。在确定这个微妙之处的等价性时语言高度受限的分布式代码。。。
  • Proclets公司

  • 引用4篇文章[sw08833]
  • 传统的工作流管理系统控制流程定义中的流程。过程定义。。。自然的态度。此外,表现力和灵活性。。。与更传统的工作流建模相比语言...
  • 饥饿

  • 1条引用[sw14459]
  • 自然哈斯克尔家族的语言. HUnit目前只包括一个基于文本的测试控制器...
  • Talk2汽车

  • 1条引用[sw36643]
  • Talk2Car:拍摄控制你的自动驾驶汽车。人工智能的长期目标。。。代理执行通过自然的 语言. 在许多情况下,这些命令是固定的。。。