A tableau decision algorithm for dynamic description logic

被引：0
|
作者：
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China [1 ]
不详 [2 ]
机构：
来源：
Jisuanji Xuebao | 2008年 / 6卷 / 896-909期
关键词：
Computer circuits;
D O I：
10.3724/sp.j.1016.2008.00896
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] TABLEAU FOR THE LOGIC ILP
    Ognjanovic, Zoran
    Perovic, Aleksandar
    Ilic-Stepic, Angelina
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2022, 112 (126): : 1 - 11
  • [32] A Dynamic Fuzzy Description Logic
    FANG Wei
    WuhanUniversityJournalofNaturalSciences, 2008, (04) : 417 - 420
  • [33] A Dynamic Description Logic for UML
    Li, Ming
    Zang, Fengkui
    FIRST IITA INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, : 175 - 178
  • [34] Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
    Steigmiller, Andreas
    Glimm, Birte
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2015, 54 : 535 - 592
  • [35] Combining Weighted Description Logic with Fuzzy Logic for Decision Making
    Mueller, Nadine
    Schnattinger, Klemens
    Walterscheid, Heike
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS: APPLICATIONS, IPMU 2018, PT III, 2018, 855 : 124 - 136
  • [36] Dynamic consistency in the logic of decision
    Rothfus, Gerard J.
    PHILOSOPHICAL STUDIES, 2020, 177 (12) : 3923 - 3934
  • [37] Dynamic consistency in the logic of decision
    Gerard J. Rothfus
    Philosophical Studies, 2020, 177 : 3923 - 3934
  • [38] Tableau method for residuated logic
    MacCaull, W
    FUZZY SETS AND SYSTEMS, 1996, 80 (03) : 327 - 337
  • [39] Tableau calculus for annotated logic
    Jilin Univ, Changchun, China
    Ruan Jian Xue Bao, 11 (698-705):
  • [40] Dynamic Reasoning for Description Logic Terminologies
    Ustymenko, Stanislav
    Schwartz, Daniel G.
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2010, 6085 : 340 - +
12345