Mode-directed Inverse Entailment for Full Clausal Theories.
Mode-directed Inverse Entailment for Full Clausal Theories.
复制标题
完整子句理论的模式导向逆蕴涵。
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Oliver Ray
中科院分区：
文献类型：
--
作者：
岩田 憲治;渡邉 康司;中川 竜太;篠田 浩一;古井 貞煕;Oliver Ray
登录
查看更多内容
DOI：
10.1016/s0304-3975(02)00416-4
发表时间：
2003-04
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Akihiro Yamamoto
通讯作者：
Akihiro Yamamoto
DOI：
10.1007/978-3-540-27775-0_12
发表时间：
2004
期刊：
International Conference on Logic Programming
影响因子：
--
作者：
O. Ray;K. Broda;A. Russo
通讯作者：
A. Russo
Prolog技术定理证明器：Prolog中的新阐述和实现
DOI：
10.1016/0304-3975(92)90168-f
发表时间：
1990
期刊：
Artif. Intell.
影响因子：
--
作者：
M. Stickel
通讯作者：
M. Stickel
归纳作为结果发现
DOI：
--
发表时间：
2004
期刊：
Machine Learning Vol.55, No.2
影响因子：
--
作者：
Haruto Takeda;Takuya Nishimoto;Shigeki Sagayama;Katsumi Inoue
通讯作者：
Katsumi Inoue
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
柘植覚;黒岩眞吾;獅々堀正幹;任福継;北研二;Oliver Ray
通讯作者：
Oliver Ray