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.

Official URL: http://dx.doi.org/10.1109/TIME.2008.14

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 Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Administrator
Date Deposited:	30 May 2013 12:59
Last Modified:	09 Aug 2023 12:33
URI:	https://eprints.bbk.ac.uk/id/eprint/7100

Statistics

Archive Staff Only (login required)