Homepage of Hongkai Liu

Dr.-Ing. Hongkai Liu Room 3029, Nöthnitzer Str. 46 Office Tel.: ++49 351 463-38314 EMail:

Dresden University of Technology Department of Computer Science Institute for Theoretical Computer Science 01187 Dresden

I am a research assistant at the Chair for Automata Theory, which belongs to the Institute for Theoretical Computer Science at TU Dresden. I received my doctorate in January 2010. The advisors of my dissertation are Prof. Franz Baader and Prof. Carsten Lutz. I am working on the project "Action Formalisms with Description Logics".

Research interests Action formalisms based on description logics Temporalized description logics

Publications

CV (pdf)

Liu, Feb 16th, 2010