• 太阳能

  • 引用18条[sw00888]
  • 太阳能(SOL for Advanced推理)是一个基于一阶从句结果发现系统。。。定理证明、查询回答和非单调的 推理. SOL是一个连接表演算。。。
  • 芦笋

  • 引用5篇文章[sw08841]
  • 编程范式,其根源在于非单调逻辑 推理演绎数据库和否定逻辑程序设计。。。被认为是非单调逻辑 推理一个有效的。。。
  • 克姆林

  • 参考第4条[sw09988]
  • KLM逻辑的定理证明器非单调的 推理. 我们提出了一个定理证明器klmlean2.0。。。命题KLM逻辑非单调的 推理. klmlean2.0实现了一些分析表格计算。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 论文中描述的因果逻辑”非单调逻辑因果理论”作者:恩里科·朱西格里亚、李卓容、弗拉基米尔。。。诺曼·麦凯恩的论文《常识中的因果关系》推理关于行动(德克萨斯大学。。。
  • 迷你表

  • 引用2篇文章[sw26324]
  • 域最小化是非单调的 推理粗略地说,这表达了一种猜想。。。
  • 达尔

  • 1条引用[sw25431]
  • 非单调的形式主义。使用简单而强大的推理规则,称为默认值,这些逻辑系统模型推理... 违约推理,一种特殊的非单调的 推理. 在本文中,我们提出一个自动化的。。。
  • ILPME公司

  • 1条引用[sw27486]
  • ILPME是一个非单调的从多个不同的例子学习的ILP(归纳逻辑程序设计)系统。。。影响了知识表示的可用性和推理人工智能系统开发中的技术。。。
  • 超小卫星

  • 引用524篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • R

  • 引用7785篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 限制

  • 参考文献136篇[sw00784]
  • rbMIT©MIT软件包在Matlab中实现。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。