BIROn - Birkbeck Institutional Research Online

    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.

    [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 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
    49Downloads
    559Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item