• 盎司

  • 113篇参考文献[SW06999 ]
  • 高级程序设计语言将约束推理与并发相结合。盎司的典型应用领域包括…配置、推理与知识表现处理自然 语言,模拟,多智能体系统,以及复杂的…
  • Word2VEC

  • 68篇参考文献[SW1498]
  • 这些表示可随后用于许多自然 语言处理应用程序…训练文本数据,然后学习矢量表现词。生成的单词向量文件…用作许多特征自然 语言处理和机器学习应用…
  • 莫扎特

  • 20篇参考文献[SW0475 9]
  • 以及在应用中自然 语言理解与知识表现在日程安排和时间安排上…
  • IF-2.0

  • 46篇参考文献[SW03303]
  • 扩展时间自动机。特别是这个表现允许我们研究真实的语义。工具箱包含中间的专用工具语言(如编译器、静态分析器和模型……广义语境:PAR——静态自然中间的表现防止动态分析…广泛地和自然地在UML或编程等规范形式中使用语言像爪哇…
  • GCLC

  • 29篇参考文献[SW0326]
  • 语言声明的GC表现数字与视觉的数学内容的存储自然
  • Logimo

  • 8篇参考文献[SW01573]
  • 可扩展多用户虚拟世界自然 语言控制装置LogIMOO是一个基于BiPrLogic的虚拟…用假设语法写的。它的语言覆盖是可扩展的,因为用户…产量表示使未知的事物最小化,使我们能够处理先进的事物自然 语言构建…适应他人自然 语言喜欢英语,喜欢英语表示作为一种通用的中介语…
  • 谎言

  • 145篇参考文献[ SW01075 ]
  • 群论自然. 它关注的是表现复半单(约化)李群的理论…通用程序。Lie程序设计语言使得定制和扩展成为可能。
  • 多胞体

  • 10篇参考文献[ SW01583]
  • 这方面的知识表现系统及其关系自然 语言理解和知识处理…
  • 利奥二世

  • 49篇参考文献[SW0512]
  • 与专家合作的成果自然高阶逻辑的片段。目前…目标CAML及其问题表现 语言是TPTP…
  • ICTRL

  • 1篇参考文献[SW01473]
  • 内涵共形文本表现 语言介绍了一种新的紧凑而均匀的象征手法。更一般准确表现属于自然 语言文本传统的一阶和内涵逻辑…提出的应用自然 语言语法一致知识表现技术是自动化的知识获取…
  • 纳萨里

  • 4篇参考文献[SW2469]
  • 应用在自然 语言加工与人工智能。因此,语义表现一直…
  • 达普斯

  • 2篇参考文献[SW1275]
  • 此外,工具使用纪律自然 语言(DNL)性质表示科学家验证…
  • 阿克斯利夫

  • 6篇参考文献[SW11679]
  • 基于内容的标记语言数学和自然网络上的科学,例如OpenMaX…OMDOC与植物化石。这些表现 语言关注数学,构建数学结构…
  • 迈希尔神经

  • 10篇参考文献[ SW28 54 7]
  • 表达。有许多教科书是有规律的。语言. 他们中的许多人专注于有限自动机…定理证明器原因是自然 表示自动机是图、矩阵或函数…纸是正式形式的中心结果语言理论——Myhill Nerode定理…
  • 利斯明

  • 14篇参考文献[SW07214]
  • 生成技术。实施新的支持语言模块是按顺序排列的…LTSMIN模块以统一状态工作表现整数向量的固定大小…利用组合的PIN依赖矩阵自然模型检验问题。这个拆分模型…将工具分为三个独立的部分:语言模块、PIN优化和模型检查算法…
  • 彭斯普

  • 2篇参考文献[SW27 88]
  • 受约束的自然 语言通过文本转换规范文本的处理器表现结构进入可执行文件…答案集程序(ASP)。受控的自然 语言处理器还生成前瞻性类别和回指…
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 因果律我们对这样的兴趣语言是双重的。第一作为基础研究的动机表现因果知识。因果关系具有内在的…引导这个进化的东西是相当的。自然. 在我们的形式化,一组概率…方便逻辑表现因为他的语义对象。第二,这个语言也有相关性…
  • DLV

  • 21篇参考文献[SW04640]
  • 知识之间的艺术状态表现和推理(KRR)系统。多亏了…持久的理论和实施努力语言现在由一个有效的运行时间支持…工业数据库社区。通过分析自然其特定的输入,该系统是能够…