• 亚历夫

  • 引用的第47条[sw12108]
  • 提出假设(Aleph)。阿莱夫是归纳的 逻辑 编程(ILP)系统。这本手册。。。Muggleton和L.De Raedt(1994年),归纳的 逻辑 编程:理论与方法,Jnl。逻辑 编程...
  • 引用了30篇文章[sw24694]
  • 归纳属于逻辑 程序:箔材和相关系统。箔片是一个第一级的学习系统。。。
  • kFOIL公司

  • 参考11篇文章[sw23358]
  • 新颖简单的组合归纳的 逻辑 编程提出了核方法。kFOIL。。。算法集成了归纳的 逻辑 编程用核方法来衬托系统。功能。。。
  • 交叉地雷

  • 引用15篇文章[sw01967]
  • 失去必要的信息。以前的作品使用归纳的 逻辑 编程方法(最近也被称为关系型。。。
  • 顶对数

  • 引用9篇文章[sw02010]
  • 本文介绍了一种新的归纳的 逻辑 编程(ILP)框架称为顶部定向假设。。。
  • VeriFast公司

  • 引用57篇文章[sw07705]
  • 程序验证者。一个音符描述了这种分离-逻辑-基于规范和验证的方法。。。指针操作命令程序. 程序员可以声明归纳的数据类型和原始递归函数。。。将记忆抽象地表示为分离逻辑断言。折叠或展开抽象谓词断言。。。
  • 中间胶

  • 引用8篇文章[sw34721]
  • 梅塔戈是一种归纳的 逻辑 编程基于元解释学习的学习系统。。。
  • DL学习者

  • 参考7篇文章[sw14439]
  • 解决类似于归纳的 逻辑 编程. DL学习者包括几种学习算法。。。
  • 克雷托

  • 引用3篇文章[sw06946]
  • 通用概率集成开发环境归纳的 逻辑 编程目前正在开发中。那个地区。。。概率归纳的 逻辑 编程(或统计关系学习)旨在应用概率推理方法。。。概率领域内的框架感应的 逻辑 编程统计关系学习。目前,克雷托。。。提供一些概率方面的背景知识归纳的 逻辑 编程统计关系学习和说明。。。
  • 格洛格

  • 引用3篇文章[sw01772]
  • 遗传算法与归纳的 逻辑 编程我们已经形成了一种基因逻辑 编程... 自动化的不同方法编程:归纳的 逻辑 编程以及遗传算法。文章介绍了。。。
  • 四月

  • 引用3篇文章[sw25423]
  • 四月安归纳的 逻辑 编程系统。归纳的 逻辑 编程(ILP)是一个机器学习研究。。。
  • Metaopt公司

  • 引用4篇文章[sw34722]
  • 学习效率逻辑 程序. 当机器学习程序我们希望从数据中学习。。。而不是效率低下程序. 然而,现有归纳的 逻辑 编程(ILP)技术无法区分。。。
  • 克洛格

  • 引用4篇文章[sw10403]
  • 从解释、实体/关系数据建模中学习,逻辑 编程,以及演绎数据库。内核访问。。。序言或数据日志程序归纳的 逻辑 编程系统。kLog框架。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 实现各种相关类型的系统-爱丁堡合乎逻辑的框架(LF),构造演算。。。归纳的类型,为数学问题的形式化和程序规范。。。
  • 高斯

  • 引用4篇文章[sw23759]
  • 几乎最佳)算法。高斯使用归纳的 逻辑 编程概括性能数据数据库。。。
  • 进步

  • 引用4篇文章[sw13855]
  • 最少的概括。在过去的十年里归纳的 逻辑 编程系统被控制了。。。
  • 箔-D

  • 引用3篇文章[sw02584]
  • 涉及多个关系表的模式。归纳的 逻辑 编程(ILP)技术已经取得了相当大的成功。。。
  • 臀部

  • 在26篇文章中引用[sw09786]
  • 堆操作程序. 臀部是分开的逻辑基于自动验证系统的简单。。。堆操作程序. 规范语言允许用户定义归纳的用来建立复杂模型的谓词。。。会建立一套分离逻辑证明义务形式的公式含义。。。
  • ILPME公司

  • 1条引用[sw27486]
  • ILPME是一种非单调ILP(归纳的 逻辑 编程)从多个不同的例子中学习的系统。。。学习逻辑 程序,即归纳的 逻辑 编程算法经常在任务中失败。。。