PARACONSISTENT LOGIC PROGRAMMING

被引：140
|
作者：
BLAIR, HA
SUBRAHMANIAN, VS
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 68卷 / 02期
关键词：
D O I：
10.1016/0304-3975(89)90126-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：135 / 154
页数：20
相关论文
共 50 条
  • [1] PARACONSISTENT LOGIC PROGRAMMING
    BLAIR, HA
    SUBRAHMANIAN, VS
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 340 - 360
  • [2] A paraconsistent logic programming approach for querying inconsistent databases
    de Amo, Sandra
    Pais, Monica Sakuray
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2007, 46 (02) : 366 - 386
  • [3] ParaLog-e: A paraconsistent evidential logic programming language
    Avila, BC
    Abe, JM
    Prado, JPD
    XVII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 1997, : 2 - 8
  • [4] Paraconsistent Logic
    David Ripley
    Journal of Philosophical Logic, 2015, 44 : 771 - 780
  • [5] Paraconsistent Logic
    Ripley, David
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (06) : 771 - 780
  • [6] PARACONSISTENT LOGIC
    ALVES, EH
    JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 358 - 358
  • [7] Logic and aggregation (Paraconsistent logic)
    Brown, B
    Schotch, P
    JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (03) : 265 - 287
  • [8] PARADOXES OF LOGIC AND PARACONSISTENT LOGIC
    GUNTHER, A
    ZEITSCHRIFT FUR SEMIOTIK, 1995, 17 (3-4): : 379 - 403
  • [9] Annotated Paraconsistent Logic
    Martins, Helga Gonzaga
    Valerio de Moraes, Carlos Henrique
    de Almeida Costa, Claudio Inacio
    Lambert-Torres, Germano
    Faria Neto, Antonio
    ADVANCES IN TECHNOLOGICAL APPLICATIONS OF LOGICAL AND INTELLIGENT SYSTEM, 2009, 186 : 85 - 113
  • [10] ON PARACONSISTENT DEONTIC LOGIC
    DACOSTA, NCA
    CARNIELLI, WA
    PHILOSOPHIA, 1986, 16 (3-4) : 293 - 305
12345