Head of the group Theory of Artificial Intelligence.

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

List of publications

Activities

• Senior PC Member of 22nd International Joint Conference on Artificial Intelligence (IJCAI2011)
• PC Member of the 7th Workshop on Methods for Modalities (M4M 2011)
• Ray Reiter Best Paper Award of KR2010
• Invited Tutorial at the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR2010)
  The slides are here
• Senior PC Member of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI2010)
• PC Member of the 2010 Workshop on Description Logics (DL2010)
• 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)
• PC Member of the 7th International Workshop on OWL: Experiences and Directions (OWLED2010)
• PC Member of the FLOC'2010 Workshop on Comparing Logical Decision Methods (CLoDeM'2010)

Member of the Editorial Board of the Journal of Artificial Intelligence Research (JAIR)
Treasurer of FoLLI

A great new academic search engine. Make sure to try the `artificial intelligence' rank list and filter for the last 5 years. ;-)