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 条
  • [41] MENTAL MODELS AND TABLEAU LOGIC
    ANDREWS, AD
    BEHAVIORAL AND BRAIN SCIENCES, 1993, 16 (02) : 334 - 334
  • [42] Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
    Fiorino, Guido
    INFORMATION SCIENCES, 2010, 180 (19) : 3633 - 3646
  • [43] Tableau-based automata construction for dynamic linear time temporal logic
    Giordano, Laura
    Martelli, Alberto
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 46 (03) : 289 - 315
  • [44] Specifying dynamic software architectures with dynamic description logic
    Zhao, Zhikun
    Li, Wei
    Journal of Software, 2012, 7 (01) : 169 - 175
  • [45] Tableau-based automata construction for dynamic linear time temporal logic*
    Laura Giordano
    Alberto Martelli
    Annals of Mathematics and Artificial Intelligence, 2006, 46 : 289 - 315
  • [46] Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity
    Golinska-Pilarek, Joanna
    Huuskonen, Taneli
    Zawidzki, Michal
    AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 41 - 57
  • [47] Tableau algorithms for description logics
    Baader, F
    Sattler, U
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 1 - 18
  • [48] An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
    Linh Anh Nguyen
    Golinska-Pilarek, Joanna
    FUNDAMENTA INFORMATICAE, 2014, 135 (04) : 433 - 449
  • [49] Description logic based on dynamic fuzzy logic for the semantic web
    Institute of Intelligence Information Processing and Application, Soochow University, Suzhou 215006, China
    Journal of Computational Information Systems, 2007, 3 (03): : 1000 - 1006
  • [50] Logic of discovery and knowledge: Decision algorithm
    Babenyshev, Sergey
    Rybakov, Vladimir
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2008, 5178 : 711 - +
12345