LOGIC AND THE COMPLEXITY OF REASONING

被引：45

作者：

LEVESQUE, HJ ^{[1
]}

机构：

[1] UNIV TORONTO, CANADIAN INST ADV RES, TORONTO M5S 1A4, ONTARIO, CANADA

来源：

关键词：

D O I：

10.1007/BF00297511

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

页码：355 / 389

页数：35

共 40 条

[1]

Anderson AR., 1975, ENTAILMENT LOGIC REL

[2]

[Anonymous], 1983, MENTAL MODELS

[3]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

BALLARD, DH .

[5]

BORODIN A, 1987, COMPUTATIONAL COMPLE

[6]

BRACHMAN R, 1984, AAAI 84, P34

[7]

BRACHMAN RJ, 1983, IEEE COMPUT, V16, P30

[8] GENERIC TERMS AND GENERIC SENTENCES [J].

CARLSON, GN .

[9]

Cherniak C., 1986, MINIMAL RATIONALITY

[10]

Church A., 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326