Complexity of branching temporal description logics

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 390-395

  Gutiérrez Basulto, Víctor ^a   Jung, Jean Christoph ^a   Lutz, Carsten ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; FORMAL LANGUAGES;

BRANCHING TIME; COMPLEXITY BOUNDS; DESCRIPTION LOGIC; SATISFIABILITY; TREE AUTOMATA; UNIFORM ALGORITHMS;

TEMPORAL LOGIC;

EID: 84878776796     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-098-7-390     Document Type: Conference Paper

References (24)

1. Alessandro Artale and Enrico Franconi, 'Temporal description logics', in Handbook of Time and Temporal Reasoning in Artificial Intelligence, pp. 375-388, 2005.
2. Alessandro Artale, 'Reasoning on temporal conceptual schemas with dynamic constraints', in TIME, pp. 79-86, 2004.
3. Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev, 'Temporalising tractable description logics', in TIME, pp. 11-22. IEEE Computer Society, (2007).
4. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev, 'Past and future of DL-Lite', in AAAI, 2010.
5. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev, 'Tailoring temporal description logics for reasoning over temporal conceptual models', in FroCos, Volume 6989 of LNCS, pp. 1-11, 2011.
6. Franz Baader, Sebastian Brandt, and Carsten Lutz, 'Pushing the EL envelope', in IJCAI, pp. 364-369, 2005.
7. Franz Baader, Silvio Ghilardi, and Carsten Lutz, 'LTL over description logic axioms', in KR, pp. 684-694, 2008.
8. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, and Michael Zakharyaschev, 'On non-local propositional and weak monodic quantified CTL', J. Log. Comput., 14(1), pp. 3-22, 2004.
9. Olivier Bodenreider and Songmao Zhang, 'Comparing the representation of anatomy in the FMA and SNOMED CT', in AMIA Annual Symposium, pp. 46-50, 2006.
10. Ashok K. Chandra, Dexter Kozen, and Larry J. Stockmeyer, 'Alternation', J. ACM, 28(1), pp. 114-133, 1981.
11. Edmund. M. Clarke, Orna Grumberg, and Doron Peled, Model checking, MIT Press, 1999.
12. Michael J. Fischer and Richard E. Ladner, 'Propositional dynamic logic of regular programs', J. Comput. Syst. Sci., 18(2), pp. 194-211, 1979.
13. Enrico Franconi and David Toman, 'Fixpoints in temporal description logics', in IJCAI, pp. 875-880, 2011.
14. Dov Gabbay, Agi Kurucz, Frank Wolter and Michael Zakharyaschev, Many-dimensional modal logics: theory and applications, Studies in Logic, 148, 2003.
15. Ian M. Hodkinson, Frank Wolter, and Michael Zakharyaschev, 'Decid-able and undecidable fragments of first-order branching temporal logics', in LICS, pp. 393-402. 2002.
16. Martin Hofmann, 'Proof-theoretic approach to description-logic', in LICS, pp. 229-237, 2005.
17. Orna Kupferman and Moshe Y. Vardi, 'Safraless decision procedures', in FOCS, pp. 531-542, 2005.
18. Carsten Lutz, Frank Wolter, and Michael Zakharyaschev, 'Temporal description logics: A survey', in TIME, pp. 3-14, 2008.
19. Christos H. Papadimitriou, Computational complexity, Academic Internet Publ., 2007.
20. Klaus Schild, 'Combining terminological logics with tense logic', in EPIA, Volume 727 of LNCS, pp. 105-120, (1993).
21. Moshe Y. Vardi, 'Reasoning about the past with two-way automata', in ICALP, Volume 1443 of LNCS, pp. 628-641, 1998.
22. Moshe Y. Vardi, 'Automata-theoretic techniques for temporal reasoning', in In Handbook of Modal Logic, pp. 971-989, 2006.
23. Moshe Y. Vardi and Larry J. Stockmeyer, 'Improved upper and lower bounds for modal logics of programs: Preliminary report', in STOC, pp. 240-251, 1985.
24. Moshe Y. Vardi and Pierre Wolper, 'Automata-theoretic techniques for modal logics of programs', J. Comput. Syst. Sci., 32(2), 183-221, 1986.