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.
- Peter Hansen won Bremer Studienpreis for Master thesis carried out at TdKI
- PC Member of the 27th International Workshop on Description Logics (DL2014)
- 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)
The Combo System for Ontology-Based Data Access.
Member of the Editorial Board of the Journal of Artificial Intelligence Research
Editor of the Review of Symbolic Logic (RSL)