Prof. Dr. Jan Hladik

Kontakt

jan.hladik@dhbw-stuttgart.de / Telefon: 0711 / 1849 – 4501

Technik

Branchennetzwerk

• TU Dresden
• SAP

Stationen

• SAP Research Dresden
  
  

Wissenschaft

Lehrgebiete

• Logik
• Formale Sprachen
• Automatentheorie
• Wissensbasierte Systeme
• Wissensrepräsentation
• Semantic Web

Forschungs- und Kooperationsgebiete

• Wissensrepräsentation
• Beschreibungslogik
• Schlussfolgerungsverfahren

Stationen

• Diplom Informatik an der RWTH Aachen
• Promotion am Institut für Theoretische Informatik der TU Dresden
  
  

Publikationen

• Baader, Hladik, Lutz, Wolter: From Tableaux to Automata for Description Logics. Fundamenta Informaticae 57(2):1-32; 2003.

• Baader, Hladik, Penaloza: Automata can show PSPACE results for description logics. Information and Computation 206(9-10):1045-1056; 2008.
  
  
• Ziegler, Buchmann, Graube, Hladik et. al.: Implementation and Operation of Collaborative Manufacturing Networks. IFIP Advances in Information and Communication Technology 434:197-208; 2014.