Tractable interval temporal propositional and description logics
Artale, A. and Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2015) Tractable interval temporal propositional and description logics. In: UNSPECIFIED (ed.) Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI-15. AAAI, pp. 1417-1423.
|
Text
9638-44262-1-PB.pdf - Published Version of Record Download (1MB) | Preview |
Official URL: http://www.aaai.org/ocs/index.php/AAAI/AAAI15/pape...
Abstract
We design a tractable Horn fragment of the Halpern-Shaham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.
Metadata
| Item Type: | Book Section |
|---|---|
| Additional Information: | Austin, Texas - 25-29 Jan 2015 |
| Keyword(s) / Subject(s): | interval temporal logic, temporal description logic |
| School: | Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems |
| Depositing User: | Roman Kontchakov |
| Date Deposited: | 26 Feb 2016 10:26 |
| Last Modified: | 27 Jul 2019 20:54 |
| URI: | http://eprints.bbk.ac.uk/id/eprint/14505 |
Statistics
Downloads
Activity Overview
48Downloads
558Hits
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
 |
Edit/View Item |