Induction as Consequence Finding

Induction as Consequence Finding
复制标题

归纳作为结果发现

DOI:
--
复制
发表时间:
2004
期刊:
Machine Learning Vol.55, No.2
影响因子:
--
通讯作者:
Katsumi Inoue
Katsumi Inoue
中科院分区:
--
文献类型:
--
作者:
Haruto Takeda;Takuya Nishimoto;Shigeki Sagayama;Katsumi Inoue

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1016/s0304-3975(02)00416-4
发表时间: 2003-04
期刊: Theor. Comput. Sci.
影响因子: --
作者:
Akihiro Yamamoto
通讯作者: Akihiro Yamamoto
DOI: 10.1016/0004-3702(88)90001-x
发表时间: 1986
影响因子: 14.4
作者:
Wray L. Buntine
通讯作者: Wray L. Buntine
Prolog 技术定理证明器:扩展 Prolog 编译器的实现
DOI: 10.1007/bf00297245
发表时间: 1986
期刊: Journal of automated reasoning
影响因子: --
作者:
M. Stickel
通讯作者: M. Stickel
作为非单调推理的归纳法
DOI: --
发表时间: 1989
期刊: --
影响因子: --
作者:
Nicolas Helft
通讯作者: Nicolas Helft
ECAI96 溯因推理和归纳推理研讨会论文集
DOI: --
发表时间: 1996
期刊:
影响因子: --
作者:
Peter A. Flach;A. Kakas
通讯作者: A. Kakas