• Fuzzy Description Logics
• Axiom-Pinpointing and its generalizations:
  • weighted reasoning
  • axiom dependencies
  • applications like access control, trust management, preference, negotiation, fuzzy reasoning, etc
• Automata
• Complexity
• Probabilities and other measures

• List of my publications
• List of publications of the Chair of automata theory (with download links)

• LBLR: a lattice-based labelled reasoner

• Finding the Culprits - A True Mystery Tale at the Seminar on Non-classical Logics from the University of Barcelona
• Fuzzy DL Nation at the QuantLA Research Seminar from TU Dresden

• PC member of ARCOE 2013
• PC member of URSW 2013
• PC member of KESW 2013
• PC member of CAEPIA 2013
• Senior PC member of AAAI 2013
• PC member of DL 2013
• PC member of WoDOOM13
• PC member of WoDOOM12
• PC member of URSW 2012
• PC member of AIW 2012
• PC member of ARCOE 2012
• PC member of DL 2012
• PC co-chair of UniDL'12
• PC member of RR 2012
• PC member of ESWC 2012

Older organization activites.

I have reviewed papers for several workshops and (among others):

• conferences: AAAI, CADE, CSL, ECAI, ESWC, KR, IJCAI, IJCAR, ISWC, JELIA, JIST, LATA, LATIN, LiCS, LPAR, STACS,
• journals: AAIJ, DKE, FSS, IJAR, IJSWIS, INS, JAIR, JAR, JCP, JWS, KAIS, KnoSys, LMCS, SWJ, ToCL,

Since ss2009, I am in charge of organizing the Komplexpraktikum / CL project and the Masterspraktikum at our group. Additionally, I am (was) responsible for:

• lecture Automata and Logic (ss'13)
• seminar Sets for Vague Concepts (ws'12/13)
• lecture Introduction to Complexity Theory (ss'12)
• lecture Fuzzy Description Logics (ws'11/12)
• lecture Fuzzy Logic (ss'11)
• seminar Parameterized Complexity (ws'10/11)
• lecture Selected Topics in Automata and Logic (ss'10)
• tutorial for Automata and Logic (ws'09/10)
• tutorial for Description Logics (ss'09)

A list of work that I have supervised.