PARACONSISTENT LOGIC PROGRAMMING

被引:141
作者
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