• 棱镜

  • 在34篇文章中引用[sw23359]
  • 知识表示语言概率 推理,它可以描述各种类型的符号统计。。。再加上学习成果,那最受欢迎概率模型形式,隐马尔可夫模型。。。
  • 牛膝草

  • 引用4篇文章[sw20096]
  • 不确定推理概率 推理. 由于经典红外模型的表现力。。。超媒体检索,HySpirit基于概率数据日志的版本。在超媒体检索中,不同的。。。
  • 弗里尔

  • 引用了45篇文章【sw18490】
  • 模糊性与证据性推理在人工智能中。提出了不确定性理论,与。。。允许包含不确定性,如概率知识与模糊不完全性。描述应用程序。。。基于证据和案例的决策支持系统推理模糊控制和数据库。附带的磁盘。。。
  • 巨像

  • 在14篇文章中引用[sw07016]
  • 模态逻辑和分级逻辑概率模态逻辑。逻辑很容易整合成巨像。。。从而自动获得推理例如,支持概率自动组合机。。。
  • 立马

  • 引用3篇文章[sw14757]
  • 一个实用的概率描述逻辑推理机. 本文首先介绍Pronto概率说明。。。推理机能够处理包含大约一千个概率公理。我们描述。。。详述小说概率可满足性(PSAT)算法是Pronto算法的核心。。。与底层DL的交互推理机首先,它可以应用众所周知的线性规划技术。。。
  • 普拉斯

  • 引用2篇文章[sw18512]
  • 工具概率 推理基于逻辑规划和稳定模型下的一阶理论。。。本文介绍了该软件的框架结构概率答案集编程”)。普拉斯。。。两者都是不确定的推理机器学习软件和概率基于逻辑编程语言。。。概率逻辑编程,我们的框架主要针对不确定性流领域的应用推理...
  • 克雷特

  • 引用3篇文章[sw06946]
  • 集成开发环境概率关系推理本文介绍KReator,一个通用的集成开发。。。这个领域,主要是扩展现有的命题概率像贝叶斯网和马尔可夫网络。。。用于表示的简单接口,推理不同关系的学习概率方法。。。
  • ProbNetKAT公司

  • 引用2篇文章[sw21703]
  • 基础概率网络。ProbNetKAT是一个概率用指称语义扩展NetKAT。。。由不同的路由方案和推理 概率关于网络的可达性。。。
  • 科梅特

  • 引用4篇文章[sw21352]
  • 执行各种常见类型的推理,例如概率模糊的,次一致的和某些类型的。。。
  • 理柏

  • 引用3篇文章[sw28633]
  • ukasiewicz无穷值逻辑。我们学习概率-逻辑推理在一个允许。。。非经典Łukasiewicz无穷值的性质概率逻辑。特别地,我们研究可满足性。。。
  • 棱镜游戏

  • 引用16条[sw12934]
  • 合作行为。模型在概率反应式模块语言的扩展。。。著名逻辑ATL与运算符to原因关于概率,各种基于奖励的措施,定量的。。。边界。该工具基于概率模型检查器棱镜,受益于它现有的。。。
  • C打印

  • 引用4篇文章[sw22924]
  • 适用于推理和学习概率下面的逻辑编程语言。。。已经扩展了cplint来执行因果关系推理. 特别是,我们认为珀尔的微积分。。。
  • 解离

  • 引用2篇文章[sw29882]
  • 用于建模、学习和推理在上面概率网络。。。
  • 亚伯

  • 引用2篇文章[sw02787]
  • 用于交互式工具概率论辩的推理. 最正式的辩论方法推理在。。。方面。一个例外是概率论证系统。它的理念是包括。。。
  • ProPPR公司

  • 1条引用【sw32915】
  • 支持高效的语义丰富的形式主义概率 推理使用大量提取的信息。这个。。。
  • 主旨

  • 引用8篇文章[sw09876]
  • 基于转弯概率具有ω-正则目标的博弈;和(b)综合合理的环境假设。。。基于归约的转弯问题求解技术概率游戏,并利用回合分析。。。
  • 拍打

  • 引用31篇文章[sw13258]
  • 支持合成、模拟和推理并发实时系统和其他。。。具有公平性假设、精化检查和概率模型检查。为了达到良好的性能,先进。。。
  • 公关猫头鹰

  • 参考7篇文章[sw22024]
  • 定义语言概率本体论。近年来,有越来越成熟的研究机构。。。代表和推理在西南部出现了。其中包括概率网络本体语言。。。