Temporal Description Logics: A Survey

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Temporal Description Logics: A Survey

Carsten LutzCarsten Lutz,  Frank WolterFrank Wolter,  Michael ZakharyaschevMichael Zakharyaschev
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
  • 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},
}