Head of the group Theory of Artificial Intelligence.

Sprechstunde: Jeden Donnerstag 14:00-15:00 oder nach Vereinbarung

List of publications

Activities

• Invited Tutorial at the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR2010)
• Senior PC Member of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI2010)
• PC Member of the 12th European Conference on Logics in Artificial Intelligence (JELIA2010)
• PC Member of the 5th International Joint Conference on Automated Reasoning (IJCAR2010)
• PC Member of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR2010)
• PC Member of the 13th International Conference on Foundations of Software Sciences and Computation Structures (FoSSaCS10)
• PC Member of Advances in Modal Logic 2010 (AiML10)
• PC Member of the 4th International Workshop on Modular Ontologies (WoMO2010)
• Senior PC Member of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI09)
• PC Member of the ICALP09 Workshop on Quantitative Logics (QUANTLOG09)
• PC Member of the 2009 Workshop on Description Logics (DL2009)
• PC Co-Chair of the 16th International Symposium on Temporal Representation and Reasoning(TIME09)
• PC-Member of the 2009 Workshop on Methods for Modalities (M4M-6)
• Editor of Special Issue on "Reasoning in Description Logics" of the Journal of Automated Reasoning, jointly with Uli Sattler

Treasurer of FoLLI