• 水獭

  • 310篇参考文献[SW02904]
  • 证明一阶定理逻辑平等的。水獭的推理规则是基于…项重写,项序,Knuth Bendix完成,加权以及指导和限制搜索的策略…抽象代数与形式化研究逻辑. 水獭及其前身已被使用…
  • 多媒体数据库管理系统

  • 117篇参考文献[SW0644]
  • 客观集成重量(SOIW)方法和加权的欧几里德距离为基础的方法(WEDBA)考虑…决策矩阵。这些方法使用模糊逻辑将定性属性转换为…
  • 卡萨尔

  • 5篇参考文献[SW10130]
  • 基于统计模型检验加权的度量时态逻辑. 我们提出了一种新的方法…关于加权的度量时态逻辑(WMTL不)。基于随机语义…
  • 远端的

  • 96篇参考文献[SW01746]
  • 多层阈值网络学习算法逻辑单位提供了一个有吸引力的框架…属于同一类的模式。这个重量以及隐藏神经元的阈值…
  • 亚戈

  • 42篇参考文献[SW1909]
  • 语义知识。我们呈现YaGo,一盏灯-重量具有高覆盖率的可扩展本体。大约95%。依戈是基于逻辑上干净的模型,它是可判定的,可扩展的…
  • TCHR

  • 3篇参考文献[SW01345 ]
  • 表格约束逻辑编程它集成在光中-重量方式约束处理规则…
  • LP2正常

  • 2篇参考文献[SW25505]
  • 在地面上充当过滤器逻辑由GRIGO产生的程序,如Grango…重量规则,并使用可比较的技术重写优化语句。产生的逻辑程序
  • 快速算法

  • 4篇参考文献[SW19192]
  • 德尔普:A加权的基于递归语义的可撤销论证框架。在这篇文章中…一般可解性中的保证公式逻辑通过集体概念的形式化论证框架。
  • 普利

  • 1篇参考文献[SW28 623 ]
  • 描述中错误附件的调试逻辑本体论。最近一些基于SAT的方法…枚举光中蕴涵的所有理由重量本体语言,如EL。这些方法…命题角中的EL推理编码逻辑找到对应于正当性的最小模型…
  • 阿贝尔

  • 2篇参考文献[ SW027 88]
  • 通过简单的组合方式逻辑概率论。使用概率…具有对应数值的论证和反驳重量
  • 珊瑚

  • 3篇参考文献[SW10927 ]
  • 黑头鱼(Pimeulas Pelmias)。相关性和逻辑(珊瑚)是一种生成定量结构的软件。划分相关标准重量分为两类稀有(封堵)和不稀有(活性)…
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 勒达

  • 258篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • 岩浆

  • 2672篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…