Tractable interval temporal propositional and description logics
Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav 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 Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Roman Kontchakov |
Date Deposited: | 26 Feb 2016 10:26 |
Last Modified: | 09 Aug 2023 12:37 |
URI: | https://eprints.bbk.ac.uk/id/eprint/14505 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.