• 里奥纳

  • 引用9篇文章[sw30227]
  • 规则归纳和实例-基于学习。文章描述了方法结合两种广泛使用的。。。从例子中学习:规则归纳和实例-基于学习。在我们的算法(RIONA)决策中。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • UCI毫升

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

  • 引用372篇文章[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • 萨奇摩

  • 引用96篇文章[sw06619]
  • SATCHMO:一个用Prolog实现的定理证明程序。这个。。。