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

A new Textbook on Description Logics

The CODA project, funded by an ERC Consolidator Grant

Recent Activities

• Senior PC Member of the International Joint Conference on Artificial Intelligence - Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)
• PC Chair of the 23rd International Conference on Database Theory (ICDT2020)
• Senior PC Member of the 34th AAAI Conference on Artificial Intelligence (AAAI2020)
• Senior PC Member of the 24th European Conference on Artificial Intelligence (ECAI2020)
• PC Member of Advances in Modal Logic 2020 (AiML2020)
• Senior PC Member of the 28th International Joint Conference on Artificial Intelligence (IJCAI2019)
  Recognition as distinguished senior PC member
• Senior PC Member of the 33rd Conference on Artificial Intelligence (AAAI2019)
• PC Member of the Research Track of the International Semantic Web Conference (ISWC2019)
• PC Member of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU19)
• PC Member of the International Workshop on Description Logics (DL2019)
• PC member of the Third International Workshop on Datalog 2.0 (2019)

Two systems for Ontology-Based Data Access:
Grind (for computing FO-rewritings in EL) and Combo (implementing the combined approach in DL-Lite)

Member of the UBremen high-profile area