Consequence-finding in Default Theories
Consequence-finding in Default Theories
复制标题
默认理论中的后果发现
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
katsumi Inoue
中科院分区：
文献类型：
--
作者：
Hiromi T.Tanaka;Kiyotaka Kushihama;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