Sciweavers

Share
TIME
2008
IEEE

Temporal Description Logics: A Survey

9 years 4 months ago
Temporal Description Logics: A Survey
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.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TIME
Authors Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Comments (0)
books