- Knowledge representation using Description Logics (DLs)
- Temporal DLs
- DL-based action formalisms
- Verification techniques
 |
Dipl.-Inf.
Marcel Lippmann Chair of Automata Theory Institute of Theoretical Computer Science Faculty of Computer Science Technische Universität Dresden |
Postal Address:Dipl.-Inf. Marcel LippmannTechnische Universität Dresden Faculty of Computer Science Institute of Theoretical Computer Science D-01062 Dresden |
Visiting Address, Phone, Email:Room 3024Nöthnitzer Straße 46, 01187 Dresden Phone: +49 351 463 38 351 Fax: +49 351 463 37 959 Email: 
|
Scientific Interests
Publications
Conference Publications
-
Franz Baader, Andreas Bauer, and Marcel Lippmann. Runtime Verification Using a Temporal Description Logic. In Silvio Ghilardi and Roberto Sebastiani, editors, Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, pages 149–164. Springer-Verlag, 2009.
Bibtex entry Paper (PDF) ©Springer-Verlag
Marcel Lippmann, 2010-02-23