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.
- PC Member of the 19th International Conference on Database Theory
- PC Co-Chair of the 10th International Symposium on Frontiers of Combining Systems (FroCoS2015)
- PC Member of the 28th International Workshop on Description Logics (DL2015)
- PC Member of the 9th International Conference on Web Reasoning and Rule Systems (RR2015)
- Senior PC Member of the 24th International Joint Conference on Artificial Intelligence (IJCAI2015)
- PC Member of the 34th ACM Symposium on Principles of Database Systems (PODS2015)
- PC Member of the 25th International Conference on Automated Deduction (CADE-25)
- PC Member of the 29th AAAI Conference on Artificial Intelligence (AAAI2015)
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)