Current Work

• Unification in Description Logics
• Decidability of Reasoning in Fuzzy Description Logics
• Fuzzy DLs with lattice-based semantics
• Computations with lattice-weighted tree automata

Interests

• Weighted logics and weighted automata
• Formal concept analysis and morphisms between concept lattices

Publications

• List of my publications: HTML  PDF
• Publications of the Chair for Automata Theory
• Technical Reports of the Chair for Automata Theory

Talks

• List of my talks with slides