About
Franz Baader is a Professor of Automata Theory at the Faculty of Computer Science, Technical University of Dresden. He is affiliated with the International Center for Computational Logic (ICCL) and serves as Chair of Automata Theory within the Institute of Theoretical Computer Science.
- Research areas: Knowledge representation, logical reasoning, description logics, and automata theory
- Projects: HAEC B02, HAEC B08, QuantLA
- Committee roles: Steering Committee member of CADE (2002-2013) and DL Workshop (2000-2002; 2008-2011)
His recent work focuses on description logics with concrete domains, analyzing their expressive power, decidability, and computational complexity. He has extensively studied cardinality constraints in knowledge representation systems.
Key themes in his publications include: formal verification, logical inference, knowledge graphs, and ontological reasoning with access restrictions. Many papers examine the intersection of automata theory and description logics.
- Contact: baader@tcs.inf.tu-dresden.de
- Office: APB 3021, Dresden
0Publications listed
Find Franz Baader elsewhere
Related Searches
You Might Also Like
Franz BaaderGraz University of Technology · Professor- JJan HladikDresden University of Technology · Researcher
- JJens ClaßenDresden University of Technology · Researcher
Filippo De BortoliDresden University of Technology · Academic- OOliver Fernández GilDresden University of Technology · Researcher
- SShasha FengDresden University of Technology · Researcher