Strong and explicit negation in non-monotonic reasoning and logic programming

被引：0
|
作者：
Alferes, JJ
Pereira, LM
Przymusinski, TC
机构：
[1] UNIV NOVA LISBOA, CITIA, P-2825 MONTE DE CAPARICA, PORTUGAL
[2] UNIV NOVA LISBOA, DCS, P-2825 MONTE DE CAPARICA, PORTUGAL
[3] UNIV CALIF RIVERSIDE, DEPT COMP SCI, RIVERSIDE, CA 92521 USA
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE | 1996年 / 1126卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：143 / 163
页数：21
相关论文
共 50 条
  • [1] Prolegomena to logic programming for non-monotonic reasoning
    Dix, J
    Pereira, LM
    Przymusinski, T
    [J]. NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 1 - 36
  • [2] A unifying view for logic programming with non-monotonic reasoning
    Brogi, A
    Lamma, E
    Mancarella, P
    Mello, P
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 1 - 59
  • [3] Belief revision in non-monotonic reasoning and logic programming
    Alferes, Jose Julio
    Moniz Pereira, Luis
    Przymusinski, Teodor C.
    [J]. Fundamenta Informaticae, 1996, 28 (1-2): : 1 - 22
  • [4] A framework to incorporate non-monotonic reasoning into constraint logic programming
    Dix, J
    Stolzenburg, F
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 47 - 76
  • [5] From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond
    Toni, Francesca
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 36 - 39
  • [6] Hybrid Probabilistic Logic Programs with non-monotonic negation
    Saad, E
    Pontelli, E
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 204 - 220
  • [7] Redundancy in logic III: Non-monotonic reasoning
    Liberatore, Paolo
    [J]. ARTIFICIAL INTELLIGENCE, 2008, 172 (11) : 1317 - 1359
  • [8] Executable temporal logic for non-monotonic reasoning
    Engelfriet, J
    Treur, J
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 615 - 625
  • [9] NoMoRe: Non-monotonic reasoning with logic programs
    Anger, C
    Konczak, K
    Linke, T
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 521 - 524
  • [10] ANCIENT INDIAN LOGIC AS A THEORY OF NON-MONOTONIC REASONING
    OETKE, C
    [J]. JOURNAL OF INDIAN PHILOSOPHY, 1996, 24 (05) : 447 - 539
12345