AG Theory of Artificial Intelligence.
Sprechstunde: Im Semester Donnerstags 14:00-15:00, in der vorlesungsfreien Zeit nach Vereinbarung
For my publications, please see group publication list, DBLP, or Google scholar
Activities in previous years.
- Organizing the GI Fachgruppentreffen "Logik in der Informatik" November 8+9, 2013 in Bremen. Um Teilnahme wird gebeten!
- PC Member of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR2014)
- Area Co-Chair for Logic and Computation of the 26th European Summer School in Logic, Language and Information (ESSLLI2014)
- PC Member of the 2014 Conference on Advances in Modal Logic (AiML2014)
- PC Co-Chair of the 37th German Conference on Artificial Intelligence (KI2014)
- Senior PC Member of the 21st European Conference on
- PC Member of the 8th International Conference on Web Reasoning and Rule Systems(RR2014)
- PC Member of the Eighth International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014)
- 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
Editor of the Review of Symbolic Logic (RSL)