|
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
Activities in previous years.
Treasurer of FoLLI
|