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: 09 Aug 2023 12:37
    URI: https://eprints.bbk.ac.uk/id/eprint/14505

    Statistics

    Activity Overview
    6 month trend
    119Downloads
    6 month trend
    712Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item