BIROn - Birkbeck Institutional Research Online

    Temporal description logics: a survey

    Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2008) Temporal description logics: a survey. In: Demri, S. and Jensen, D.S. (eds.) 2008 15th International Symposium on Temporal Representation and Reasoning. Piscataway, U.S.: IEEE Computer Society, pp. 3-14. ISBN 9780769531816.

    Full text not available from this repository.

    Abstract

    We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.

    Metadata

    Item Type: Book Section
    Additional Information: 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Universite du Quebec, Montreal, Canada, 16-18 June 2008
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Administrator
    Date Deposited: 30 May 2013 12:59
    Last Modified: 11 Oct 2016 12:01
    URI: http://eprints.bbk.ac.uk/id/eprint/7100

    Statistics

    Downloads
    Activity Overview
    0Downloads
    146Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item