|
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)
Activities in previous years.
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. ;-)
|