• 喀拉喀托

  • 引用86篇文章[sw03159号]
  • 程序建模的证明助手语义学并进行证据的发展,最后。。。COQ和a规范代表爪哇岛的语义学把JAVA程序变成。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 自动机。尤其是代表让我们研究语义学实时原语。。。中间体的静态性质代表防止分析动态系统。更确切地说,原始的。。。
  • 根西姆

  • 在10篇文章中引用[sw04081]
  • 简洁地表达在,语义的 代表,并查询与其他文档的主题相似性。。。
  • 语法矩阵

  • 在10篇文章中引用[sw21659]
  • 处理和精度解析和语义的 陈述自然语言理解所必需的。。。
  • CP逻辑

  • 17条引用[sw06947]
  • 作为基础研究代表因果知识。因果关系有一个固有的。。。方面,已经在语义的在他的框架里。。。提供方便的逻辑代表为了他的语义的物体。第二,这种语言也有关联性。。。特别是,我们证明语义学在我们的语言里。。。
  • 工商管理硕士

  • 17条引用[sw08724]
  • 形式化数学代表允许语义学-基于分布式数学事实的检索。。。概念,我们提出了一种开发代表数学知识库的形式化。我们提议。。。
  • 纳萨里

  • 引用4篇文章[sw24669]
  • 多语种知识和语料库统计代表概念和实体。未付的。。。对语言项目的深刻理解,语义的 代表被认为是最基本的。。。人工智能。因此,语义的 代表一直是一个突出的研究领域。。。多亏了代表一个统一的语言项目语义的空间。。。
  • 欧米茄

  • 第3条引用[sw19624]
  • 我们现在介绍。从这个非正式的语义的 代表PlatΩ自动生成相应的形式代表...
  • 摘要

  • 引用3篇文章[sw26528]
  • 符号技术,使用解析器、语法和语义的 陈述,不要扩展到现实世界。。。
  • 后勤数据+

  • 引用5篇文章[sw02123]
  • 结构复杂的数据代表属于语义的对象之间的关系。。。编程。我们将致力于代表对isa层次结构和分类推理。。。
  • 索赔人

  • 引用5篇文章[sw01795]
  • 索赔人提供工具来构建语义的网状物代表研究论文中的说法。。。
  • 维尔姆

  • 参考6篇文章[sw13286]
  • 提供机械化的语义学LLVM的中间产物代表,它的类型系统和属性。。。交互式定理证明器。它包括多个操作语义学并证明它们之间的关系,以便于。。。
  • 多网

  • 在10篇文章中引用[sw01583]
  • 演示文稿描述了知识代表多层扩展范式语义的网络(所谓的。。。版本)。这些知识的基本组成部分代表系统及其与自然语言的关系。。。
  • N3Logic公司

  • 引用9篇文章[sw02003]
  • 描述框架(RDF),以及语义的网络提供了一个统一的代表结构丰富的数据。正在添加。。。
  • 医疗站

  • 第3条引用[sw07991]
  • MedPost Tagger专为语义的知识代表(SKR)工作。MedPost/SKR修改了功能。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • GCLC使用GC作为声明性语言代表数字和存储数学内容。。。定理证明器,它直接将可视和语义的具有演绎性质的几何信息和机器。。。
  • 荷马

  • 引用5篇文章[sw13321]
  • 分割成精确的代表他们的游戏语义学就像明显的下推自动机。。。
  • 百万吨

  • 引用46篇文章[sw07136]
  • 把数学知识编码成逻辑中性代表可以代表元理论的格式。。。不知道语义学处理过的知识。。。