IEEE - Institute of Electrical and Electronics Engineers, Inc. - Temporal Description Logics: A Survey

2008 15th International Symposium on Temporal Representation and Reasoning (TIME '08)

Author(s): C. Lutz ; F. Wolter ; M. Zakharyashev
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2008
Conference Location: Montreal, QC, Canada
Conference Date: 16 June 2008
Page(s): 3 - 14
ISBN (Paper): 978-0-7695-3181-6
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2008.14
Regular:

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... View More

Advertisement