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

• Area Co-Chair for Logic and Computation of the 26th European Summer School in Logic, Language and Information (ESSLLI2014)
• PC Member of the 22nd EACSL Annual Conference on Computer Science Logic (CSL2013)
• Senior PC Member of the 23rd International Joint Conference on Artificial Intelligence (IJCAI2013)
• PC Member of the 27th AAAI Conference on Artificial Intelligence (AAAI2013)
• PC Member of the 2013 Workshop on Description Logics (DL2013)
• PC Member of the 7th International Conference on Web Reasoning and Rule Systems (RR2013)
• PC Member of the 2013 Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2013)
• PC Member of the 2013 Workshop on Dynamics of Knowledge and Belief (DKB2013)

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