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 条
  • [21] A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics
    Cantone, Domenico
    Golinska-Pilarek, Joanna
    Nicolosi-Asmundo, Marianna
    HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014, 2014, 8480 : 466 - 477
  • [22] An Efficient Tableau Prover using Global Caching for the Description Logic ALC
    Nguyen, Linh Anh
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 273 - 288
  • [23] A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Litecore
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    AI(STAR)IA 2011: ARTIFICIAL INTELLIGENCE AROUND MAN AND BEYOND, 2011, 6934 : 164 - +
  • [24] A tableau decision algorithm for modalized ALC with constant domains
    Lutz G.
    Sturm H.
    Wolter F.
    Zakharyaschev M.
    Studia Logica, 2002, 72 (2) : 199 - 232
  • [25] A fast algorithm for web service composition based on dynamic description logic
    Liu W.
    Du Y.Y.
    Guo B.Q.
    Yan C.
    Xu Q.
    Information Technology Journal, 2010, 9 (06) : 1150 - 1157
  • [26] A tableau algorithm for description logics with concrete domains and general TBoxes
    Lutz, Carsten
    Miličić, Maja
    Journal of Automated Reasoning, 2007, 38 (1-3): : 227 - 259
  • [27] A tableau-based decision procedure for right Propositional Neighborhood logic
    Bresolin, D
    Montanari, A
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 63 - 77
  • [28] A tableau algorithm for description logics with concrete domains and general TBoxes
    Lutz, Carsten
    Milicic, Maja
    JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 227 - 259
  • [29] A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
    Carsten Lutz
    Maja Miličić
    Journal of Automated Reasoning, 2007, 38 : 227 - 259
  • [30] Four-valued Tableau Calculi for Decision Logic of Rough Set
    Nakayama, Yotaro
    Akama, Seiki
    Murai, Tetsuya
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES-2018), 2018, 126 : 383 - 392
12345