Consequence Finding and Computing Answers with Defaults
Consequence Finding and Computing Answers with Defaults
复制标题
使用默认值查找结果并计算答案
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
小林 隆二;篠田 浩一;古井 貞煕;Katsumi Inoue
登录
查看更多内容
DOI：
--
发表时间：
1991
期刊：
--
影响因子：
--
作者：
R. Demolombe;L. F. D. Cerro
通讯作者：
L. F. D. Cerro
关于数据有效性和完整性的答案：形式定义、有用性和计算技术
DOI：
10.1007/bfb0055997
发表时间：
1998
期刊：
--
影响因子：
--
作者：
R. Demolombe
通讯作者：
R. Demolombe
通过部分评估进行内涵查询回答
影响因子：
3.4
作者：
Giuseppe De Giacomo
通讯作者：
Giuseppe De Giacomo
答案文字的语义
DOI：
10.1007/bf00247669
发表时间：
1996
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
K. Kunen
通讯作者：
K. Kunen
Reiter 默认逻辑的替代基础
DOI：
10.1016/s0004-3702(00)00060-6
发表时间：
2000
期刊：
Artif. Intell.
影响因子：
--
作者：
Thomas Linke;Torsten Schaub
通讯作者：
Torsten Schaub