A Consequence Finding Approach for Full Clausal Abduction
A Consequence Finding Approach for Full Clausal Abduction
复制标题
完全条款溯因的结果查找方法
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Oliver Ray
中科院分区：
文献类型：
--
作者：
柘植覚;黒岩眞吾;獅々堀正幹;任福継;北研二;Oliver Ray
登录
查看更多内容
完整子句理论的模式导向逆蕴涵。
DOI：
--
发表时间：
2008
期刊：
Inductive Logic Programming, Lecture Notes in Artificial Intelligence 4894
影响因子：
--
作者：
岩田 憲治;渡邉 康司;中川 竜太;篠田 浩一;古井 貞煕;Oliver Ray
通讯作者：
Oliver Ray
归纳逻辑编程处理系统的实现
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
金井 貴;國藤 進
通讯作者：
國藤 進
通过模型消除计算答案
影响因子：
14.4
作者：
Peter Baumgartner;U. Furbach;Frieder Stolzenburg
通讯作者：
Frieder Stolzenburg
Prolog技术定理证明器：Prolog中的新阐述和实现
DOI：
10.1016/0304-3975(92)90168-f
发表时间：
1990
期刊：
Artif. Intell.
影响因子：
--
作者：
M. Stickel
通讯作者：
M. Stickel
DOI：
--
发表时间：
2000
期刊：
Computational Logic
影响因子：
--
作者：
J. Gartner;T. Swift;A. Tien;C. Damásio;L. Pereira
通讯作者：
L. Pereira