Belief revision in non-monotonic reasoning and logic programming

被引：0
|
作者：
Alferes, Jose Julio [1 ]
Moniz Pereira, Luis [1 ]
Przymusinski, Teodor C. [1 ]
机构：
[1] CITIA, Monte da Caparica, Portugal
来源：
Fundamenta Informaticae | 1996年 / 28卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 22
相关论文
共 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] Reasoning Biases, Non-Monotonic Logics and Belief Revision
    Novaes, Catarina Dutilh
    Veluwenkamp, Herman
    [J]. THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2017, 83 (01): : 29 - 52
  • [3] 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
  • [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] Strong and explicit negation in non-monotonic reasoning and logic programming
    Alferes, JJ
    Pereira, LM
    Przymusinski, TC
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 143 - 163
  • [6] 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
  • [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] Belief, knowledge, revisions, and a semantics of non-monotonic reasoning
    Sefránek, J
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 63 - 77
12345