Abstract
We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.
- Title
- Tractable Interval Temporal Propositional and Description Logics
- Creators
- Alessandro ArtaleRoman KontchakovVladislav RyzhikovMichael Zakharyaschev
- Publication Details
- Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence and the Twenty-Seventh Innovative Applications of Artificial Intelligence Conference, 25 - 30 January, Austin, Texas, USA - Volume 2, pp.1417-1423
- ISBN
- 9781577357001
- Conference
- 29th AAAI Conference on Artificial Intelligence (AAAI 2015) (Austin, Texas, 25/01/2015 - 31/01/2015)
- Publisher
- AAAI Press
Palo Alto, Calif. - Format
- Print
- Number of pages
- 7
- Identifiers
- 978-1-57735-700-1
(UNIBZ)1766680
991006406094801241 - Web of Science ID
- 000485625501063
- Scopus ID
- 2-s2.0-84959866515
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Artale A, Kontchakov R, Ryzhikov V, Zakharyaschev M