Domain theory meets default logic

被引：0
|
作者：
机构：
来源：
J Logic Comput | / 1卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Representation theory for default logic
    Marek, VW
    Treur, J
    Truszczynski, M
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 21 (2-4) : 343 - 358
  • [2] Representation theory for default logic
    V. Wiktor Marek
    Jan Treur
    Mirosław Truszczyński
    Annals of Mathematics and Artificial Intelligence, 1997, 21 : 343 - 358
  • [3] Optimality theory through default logic
    Besnard, P
    Mercer, RE
    Schaub, T
    KI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2821 : 93 - 104
  • [4] More on representation theory for default logic
    Su, KL
    INFORMATION AND COMPUTATION, 2001, 169 (01) : 81 - 93
  • [5] Nonmonotonic consequences in default domain theory
    Zhang, GQ
    Rounds, WC
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 20 (1-4) : 227 - 265
  • [6] Nonmonotonic consequences in default domain theory
    Guo‐Qiang Zhang
    William C. Rounds
    Annals of Mathematics and Artificial Intelligence, 1997, 20 : 227 - 265
  • [7] A Default Logic Patch for Default Logic
    Besnard, Philippe
    Gregoire, Eric
    Ramon, Sebastien
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 578 - +
  • [8] Compiling default theory into extended logic programming
    Garcia, BB
    Lopes, GP
    Varejao, F
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 207 - 216
  • [9] The complexity of predicate default logic over a countable domain
    Milnikel, RS
    ANNALS OF PURE AND APPLIED LOGIC, 2003, 120 (1-3) : 151 - 163
  • [10] Expressing default logic variants in default logic
    Delgrande, JP
    Schaub, T
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (05) : 593 - 621
12345