高级搜索
    删除搜索历史记录.
    我的图书馆

    Weakening Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

    作者： Anh Linh Nguyen

    DOI:

    关键词:

    摘要:

    参考文章(31)
    1.
    Riccardo Rosati, On Conjunctive Query Answering in EL. Description Logics. ,(2007)
    2.
    Alexandru Mateescu, Arto Salomaa, Formal languages: an introduction and a synopsis Handbook of formal languages, vol. 1. pp. 1- 39 ,(1997) , 10.1007/978-3-642-59136-5_1
    3.
    Franz Baader, Carsten Lutz, Sebastian Brandt, Pushing the EL envelope international joint conference on artificial intelligence. pp. 364- 369 ,(2005)
    4.
    Sebastian Brandt, Polynomial time reasoning in a Description Logic with existential restrictions, GCI axioms, and—what else? european conference on artificial intelligence. pp. 298- 302 ,(2004)
    5.
    Linh Anh Nguyen, On the Complexity of Fragments of Modal Logics advances in modal logic. pp. 249- 268 ,(2004)
    6.
    Rajeev Goré, Tableau Methods for Modal and Temporal Logics Handbook of Tableau Methods. pp. 297- 396 ,(1999) , 10.1007/978-94-017-1754-0_6
    7.
    Andreas Nonnengart, How to Use Modalities and Sorts in Prolog Untitled Event. pp. 365- 378 ,(1994)
    8.
    Ullrich Hustadt, Boris Motik, Ulrike Sattler, Data complexity of reasoning in very expressive description logics international joint conference on artificial intelligence. pp. 466- 471 ,(2005)
    9.
    Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini, Reasoning in expressive description logics Handbook of automated reasoning. pp. 1581- 1634 ,(2001) , 10.1016/B978-044450813-3/50025-4
    10.
    Klaus Schild, Terminological cycles and the propositional µ-calculus principles of knowledge representation and reasoning. pp. 509- 520 ,(1994) , 10.22028/D291-25004
    来源期刊
    • 2007 年,
    • Volume: , Issue: ,
    • Page:
    相似文章 7
    学术资源搜索(ver.BATE)

    为学术研究人员、学生以及专业人士设计的在线资源检索工具。
    致力于为用户提供全球范围内高质量开放学术文献、研究报告、会议论文、期刊文章等学术资源的便捷访问.

    Copyright © 2023. KipHub all right reserved. 沪ICP备2023020492号-1
    联系方式Terms & ConditionsSecurity
    Copyright 2023 ©KipHub.