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.

    9638-44262-1-PB.pdf - Published Version of Record

    Download (1MB) | Preview


    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.


    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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item