BIROn - Birkbeck Institutional Research Online

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.

[img]
Preview
Text
9638-44262-1-PB.pdf - Published Version of Record

Download (1MB) | Preview

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: 13 Jul 2025 21:29
URI: https://eprints.bbk.ac.uk/id/eprint/14505

Statistics

6 month trend
175Downloads
6 month trend
790Hits

Additional statistics are available via IRStats2.

Archive Staff Only (login required)

Edit/View Item
Edit/View Item