Domain theory meets default logic

被引：0
|
作者：
机构：
来源：
J Logic Comput | / 1卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Stratification for default logic variants
    Antoniou, G
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (09) : 785 - 799
  • [32] COMBINING DEFAULT LOGIC DATABASES
    BARAL, C
    KRAUS, S
    MINKER, J
    SUBRAHMANIAN, VS
    INTERNATIONAL JOURNAL OF INTELLIGENT & COOPERATIVE INFORMATION SYSTEMS, 1994, 3 (03): : 319 - 348
  • [33] Reasoning by cases in default logic
    Roos, N
    ARTIFICIAL INTELLIGENCE, 1998, 99 (01) : 165 - 183
  • [34] Some Results on Default Logic
    张明义
    Journal of Computer Science and Technology, 1994, (03) : 267 - 274
  • [35] Default Logic and Bounded Treewidth
    Fichte, Johannes K.
    Hecher, Markus
    Schindler, Irina
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2018), 2018, 10792 : 130 - 142
  • [36] Similarity preservation in default logic
    Ben-Eliyahu-Zohary, R
    Francez, N
    Kaminski, M
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (1-2) : 137 - 160
  • [37] Default Logic About Assertions
    苏开乐
    丁德成
    Science China Mathematics, 1994, (11) : 1399 - 1408
  • [38] ITERATED REVISION IN DEFAULT LOGIC
    Ren, Shuang
    Qi, Guilin
    Lin, Zuoquan
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2009, 5 (12B): : 4845 - 4857
  • [39] An implementation of Statistical Default Logic
    Wheeler, GR
    Damásio, C
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 121 - 133
  • [40] 2 RESULTS ON DEFAULT LOGIC
    LUKASZEWICZ, W
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (04): : 329 - 343
12345