• CCalc公司

  • 引用75篇文章[sw09899]
  • 碎片因果关系的 逻辑在论文中描述的”非单调逻辑 因果关系的Enrico Giunchiglia的“理论”。。。诺曼·麦凯恩博士论文的一部分,因果关系关于行为的常识推理(德克萨斯大学。。。CCalc的语言与违约有关逻辑逻辑编程。在计算上,CCalc使用了一些想法。。。
  • 超小卫星

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

  • 引用8309篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 太阳能

  • 引用18条[sw00888]
  • 太阳能(SOLAR for Advanced Reasoning)是第一个。。。
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • ASSAT(由SAT解算器提供的答案集)是。。。
  • L-BFGS

  • 引用715篇文章[sw03229]
  • 算法778:L-BFGS-B Fortran子程序。。。
  • UCI毫升

  • 在3041篇文章中引用[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • C模型

  • 引用66篇文章[sw04435]
  • Cmodels是一个计算答案集的系统。。。
  • 佐藤

  • 引用195篇文章[sw04451]
  • 佐藤:命题满意度的求解者:戴维斯。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • SAS公司

  • 参考1463篇文章[sw06377]
  • SAS(统计分析系统)是一个完整的系统。。。
  • 钾肥

  • 引用71篇文章[sw06996]
  • Potasco:波茨坦答案集解决方案集。这个。。。
  • 图规划

  • 在181篇文章中引用[sw07746]
  • 通过规划图分析快速规划。我们介绍。。。
  • 漏洞

  • 引用了358篇文章[sw07885]
  • 错误(使用吉布斯抽样的贝叶斯推断)项目。。。
  • 在10篇文章中引用[sw08842]
  • 一个从动作语言到ASP的编译器。。。