PARACONSISTENT LOGIC PROGRAMMING

被引：142

作者：

BLAIR, HA

SUBRAHMANIAN, VS

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(89)90126-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：135 / 154

页数：20

共 27 条

[1]

ANAND R, 1987, P AAAI INT S KNOWLED

[2]

ANDREKA H, 1978, ACTA CYBERNET, V4, P3

[3]

APT KR, 1988, F LOGIC PROGRAMMING

[4]

ARRUDA AI, 1979, MATH LOGIC LATIN AM, P1

[5]

BARBUTI R, 1986, LECT NOTES COMPUT SC, V225, P600

[6]

BARBUTI R, 1986, UNPUB

[7]

Belnap ND, 1977, MODERN USES MULTIPLE, V2, P5, DOI DOI 10.1007/978-94-010-1161-7_2

[8]

BLAIR HA, 1986, P WORKSHOP F LOGIC P

[9]

BLAIR HA, F GENERALLY HORN LOG

[10]

da Costa N. C. A., 1974, Notre Dame Journal of Formal Logic, V15, P497, DOI 10.1305/ndjfl/1093891487