Temporal Description Logics: A Survey

Carsten LutzCarsten Lutz, Frank WolterFrank Wolter, Michael ZakharyaschevMichael Zakharyaschev

Download

Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Temporal Description Logics: A Survey
Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning, 2008. IEEE Computer Society Press

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ LuWoZa-Time08,
  author = {Carsten {Lutz} and Frank {Wolter} and Michael {Zakharyaschev}},
  booktitle = {Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning},
  publisher = {IEEE Computer Society Press},
  title = {Temporal Description Logics: A Survey},
  year = {2008},
}