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 条

[1] CONSTRAINT SATISFACTION FROM A DEDUCTIVE VIEWPOINT [J].

BIBEL, W .

[2] ON MATRICES WITH CONNECTIONS [J].

BIBEL, W .

[3] SYMBOLIC REASONING AMONG 3-D MODELS AND 2-D IMAGES [J].

BROOKS, RA .

[4]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[5] SEEING THINGS [J].

CLOWES, MB .

[6]

GUZMAN A, 1968, 1968 FALL JOINT COMP, P291

[7]

HAVENS WS, 1983, IEEE T COMPUT, V16, P90

[8]

Huffman D. A., 1971, Machine Intelligence Volume 6, P295

[9]

Kowalski R.A., 1979, LOGIC PROBLEM SOLVIN

[10]

MACKWORTH A, 1988, COMPUTATIONAL PROCES, P464