AG Theory of Artificial Intelligence.

Sprechstunde: Im Semester Donnerstags 14:00-15:00, in der vorlesungsfreien Zeit nach Vereinbarung

List of publications, see also the DBLP list and the group publication list

Recent Activities

• PC Member of the 2012 Workshop on Description Logics (DL2012)
• PC Member of the 20th European Conference on Artificial Intelligence (ECAI2012)
• Area Chair of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR2012)
• Member of the PODS12 external review committee on Semantic, Linked, and CrowdSourced data
• PC Member of the 2012 International Joint Conference on Automated Reasoning (IJCAR2012)
• PC Member of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18)
• Doctoral Consortium Chair of the 35th Annual German Conference on Artificial Intelligence (KI2012)
• PC Member of the 25th Australasian Joint Conference on AI (AI2012)
• PC Member of the 13th European Conference on Logics in Artificial Intelligence (JELIA2012)
• PC Member of the 9th Extended Semantic Web Conference (ESWC2012)
• PC Member of the 2012 International Workshop on Uncertainty in Description Logics (UniDL12)
• PC Member of the third International Symposium on Games, Automata, Logics and Formal Verification (GandALF2012)

Member of the Editorial Board of the Journal of Artificial Intelligence Research (JAIR)
Editor of the Review of Symbolic Logic (RSL)