SET CONTAINMENT INFERENCE AND SYLLOGISMS

被引：3

作者：

ATZENI, P

PARKER, DS

机构：

[1] CNR,IST ANAL SISTEMI & INFORMAT,I-00185 ROMA,ITALY

[2] UNIV CALIF LOS ANGELES,DEPT COMP SCI,LOS ANGELES,CA 90024

来源：

关键词：

Knowledge Representation - Set Containment Inference - Syllogisms - Type Hierarchies - Type Inclusion Inference;

D O I：

10.1016/0304-3975(86)90011-3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

(Edited Abstract)

引用

页码：39 / 65

页数：27

共 16 条

[1] ARISAWA H, 1986, 12TH P VLDB, P449
[2] ATTARDI G, 1981, 7TH P INT JOINT C AR, P504
[3] ATZENI P, 1986, 2ND P IEEE INT C DAT, P700
[4] COSMADAKIS SS, 1985, P C REWRITING TECHNI, P107
[5] DAL - A LOGIC FOR DATA-ANALYSIS
DELCERRO, LF
ORLOWSKA, E
[J]. THEORETICAL COMPUTER SCIENCE, 1985, 36 (2-3) : 251 - 264
[6] GARDNER M, 1982, LOGIC MACHINES DIAGR
[7] Garey MR., 1979, COMPUTERS INTRACTABI
[8] SYLLOGISTIC INFERENCE
JOHNSONLAIRD, PN
BARA, BG
[J]. COGNITION, 1984, 16 (01) : 1 - 61
[9] KANELLAKIS PC, 1983, 15TH P ACM S THEORY, P264
[10] Maier D., 1983, THEORY RELATIONAL DA