A LOGICAL FRAMEWORK FOR DEPICTION AND IMAGE INTERPRETATION

被引：53

作者：

REITER, R ^{[1
]}

MACKWORTH, AK ^{[1
]}

机构：

[1] UNIV BRITISH COLUMBIA,DEPT COMP SCI,VANCOUVER V6T 1W5,BC,CANADA

来源：

关键词：

D O I：

10.1016/0004-3702(89)90008-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：125 / 155

页数：31

共 29 条

[21] SOLVING SATISFIABILITY WITH LESS SEARCHING [J].

PURDOM, PW .

[22]

Reiter R., 1978, Logic and data bases, P55

[23] NONMONOTONIC REASONING [J].

REITER, R .

[24] EQUALITY AND DOMAIN CLOSURE IN 1ST-ORDER DATABASES [J].

REITER, R .

[25]

REITER R, 1987, 8724 U BRIT COL DEP

[26]

REITER R, 1987, RBCVTR8718 U TOR DEP

[27]

TSOTSOS JK, 1985, COMPUT INTELL, V1, P16

[28]

WONG G, 1986, THESIS U BRIT COLUMB

WOS, L ;

ROBINSON, GA ;

CARSON, DF .