C. Lutz, F. Wolter, und M. Zakharyaschev. Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Seite 3--14. Budapest, Hungary, IEEE Computer Society, (Juni 2008)
DOI: 10.1109/TIME.2008.14
Zusammenfassung
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.
%0 Conference Paper
%1 Lutz2008
%A Lutz, Carsten
%A Wolter, Frank
%A Zakharyaschev, Michael
%B Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008)
%C Budapest, Hungary
%D 2008
%E Pustejovsky, James
%E Revesz, Peter
%I IEEE Computer Society
%K description logics oul temporal
%P 3--14
%R 10.1109/TIME.2008.14
%T Temporal Description Logics: A Survey
%U http://portal.acm.org/citation.cfm?id=1440463.1440978
%X 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.
%@ 978-0-7695-3181-6
@inproceedings{Lutz2008,
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.},
acmid = {1440978},
added-at = {2011-08-01T13:40:59.000+0200},
address = {Budapest, Hungary},
author = {Lutz, Carsten and Wolter, Frank and Zakharyaschev, Michael},
biburl = {https://www.bibsonomy.org/bibtex/247252b1e42f8b7bc3a4e39a84456e5fe/utahell},
booktitle = {Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008)},
description = {Temporal Description Logics},
doi = {10.1109/TIME.2008.14},
editor = {Pustejovsky, James and Revesz, Peter},
interhash = {653b4a5ca0a75043694ce88e07a17735},
intrahash = {47252b1e42f8b7bc3a4e39a84456e5fe},
isbn = {978-0-7695-3181-6},
keywords = {description logics oul temporal},
month = {June},
numpages = {12},
pages = {3--14},
publisher = {IEEE Computer Society},
timestamp = {2011-12-16T15:28:39.000+0100},
title = {Temporal Description Logics: A Survey},
url = {http://portal.acm.org/citation.cfm?id=1440463.1440978},
year = 2008
}