Description logic with default reasoning

被引：0
|
作者：
Dong, Ming-Kai [1 ]
Jiang, Yun-Cheng [1 ]
Shi, Zhong-Zhi [1 ]
机构：
[1] Inst. of Comp. Technol., Chinese Acad. of Sci., Beijing 100080, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2003年 / 26卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Knowledge representation
引用
收藏
页码：729 / 736
相关论文
共 50 条
  • [11] Reasoning with sets of preferences in default logic
    Delgrande, JP
    Schaub, T
    PRICAI'98: TOPICS IN ARTIFICIAL INTELLIGENCE, 1998, 1531 : 134 - 145
  • [12] A framework for default logic with case reasoning
    Zhang, MY
    Zhang, D
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (02): : 215 - 224
  • [13] Default logic and specification of nonmonotonic reasoning
    Engelfriet, J
    Marek, VW
    Treur, J
    Truszczynski, M
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2001, 13 (02) : 99 - 112
  • [14] The Complexity of Reasoning for Fragments of Default Logic
    Beyersdorff, Olaf
    Meier, Arne
    Thomas, Michael
    Vollmer, Heribert
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 51 - 64
  • [15] The complexity of reasoning for fragments of default logic
    Beyersdorff, Olaf
    Meier, Arne
    Thomas, Michael
    Vollmer, Heribert
    JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (03) : 587 - 604
  • [16] GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)
    Tammet, Tanel
    Draheim, Dirk
    Jarv, Priit
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 300 - 309
  • [17] Framework for default logic with case reasoning
    Zhang, Mingyi
    Zhang, Dan
    Science China Series E Technological Sciences, 1998, 41 (02): : 215 - 224
  • [18] A framework for default logic with case reasoning
    Mingyi Zhang
    Dan Zhang
    Science in China Series E: Technological Sciences, 1998, 41 : 215 - 224
  • [19] Combining heuristics for default logic reasoning systems
    Nicolas, P
    Saubion, F
    Stéphan, I
    12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 393 - 400
  • [20] Preferential reasoning in the perspective of Poole default logic
    Freund, M
    ARTIFICIAL INTELLIGENCE, 1998, 98 (1-2) : 209 - 235
12345