Answer Set Computation Based a Minimal Model Generation Theorem Prover
Answer Set Computation Based a Minimal Model Generation Theorem Prover
复制标题
基于最小模型生成定理证明器的答案集计算
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Yasuyuki Shirai et al.
中科院分区：
文献类型：
--
作者：
Katakura;K.;能美 保則;Yasuyuki Shirai et al.
登录
查看更多内容
使用分支引理生成高效的最小模型
DOI：
10.1007/10721959_15
发表时间：
2000
期刊：
J. Log. Program.
影响因子：
--
作者：
R. Hasegawa;H. Fujita;Miyuki Koshimura
通讯作者：
Miyuki Koshimura
拟群恒等式和门德尔松设计
DOI：
10.4153/cjm-1989-017-0
发表时间：
1989
期刊：
Canadian Journal of Mathematics
影响因子：
--
作者：
F. Bennett
通讯作者：
F. Bennett
自动推导—CADE-11
影响因子：
1.3
作者：
T. Walsh;A. Nunes;A. Bundy
通讯作者：
A. Bundy
自动扣除 - CADE-17
影响因子：
5
作者：
David A. McAllester
通讯作者：
David A. McAllester