LOGIC PROGRAMMING AND NEGATION - A SURVEY

被引：183
|
作者：
APT, KR
BOL, RN
机构：
来源：
JOURNAL OF LOGIC PROGRAMMING | 1994年 / 20卷 / 1-3期
关键词：
D O I：
10.1016/0743-1066(94)90024-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.
引用
收藏
页码：9 / 71
页数：63
相关论文
共 50 条
  • [1] NEGATION IN LOGIC PROGRAMMING
    KUNEN, K
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 289 - 308
  • [2] Negation Without Negation in Probabilistic Logic Programming
    Buchman, David
    Poole, David
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 529 - 532
  • [3] Coinductive Logic Programming with Negation
    Min, Richard
    Gupta, Gopal
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 97 - 112
  • [4] NEGATION AND CONSTRAINT LOGIC PROGRAMMING
    STUCKEY, PJ
    INFORMATION AND COMPUTATION, 1995, 118 (01) : 12 - 33
  • [5] NEGATION IN LOGIC PROGRAMMING - A FORMALIZATION IN CONSTRUCTIVE LOGIC
    BRY, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 474 : 30 - 46
  • [6] Tableaux for logic programming with strong negation
    Akama, S
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 31 - 42
  • [7] A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING
    BARBUTI, R
    MANCARELLA, P
    PEDRESCHI, D
    TURINI, F
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 201 - 228
  • [8] Defeasible logic versus Logic Programming without Negation as Failure
    Antoniou, G
    Maher, MJ
    Billington, D
    JOURNAL OF LOGIC PROGRAMMING, 2000, 42 (01): : 47 - 57
  • [9] Extending Fuzzy Linguistic Logic Programming with Negation
    Le, Van Hung
    MATHEMATICS, 2022, 10 (17)
  • [10] Constructive negation and constraint logic programming with sets
    Dovier, A
    Pontelli, E
    Rossi, G
    NEW GENERATION COMPUTING, 2001, 19 (03) : 209 - 255
12345