Prof. Dr. Carsten Lutz
Visitors: Room 2.59, Cartesium, Enrique-Schmidt-Str. 5
Tel.: ++49 421 218-64431
Fax: ++49 421 218-9864431
EMail: click here to reveal
Universität Bremen
Fachbereich 03
Postfach 330440
28334 Bremen

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

Recent Activities

  • EurAI (formely ECCAI) fellow 2016
  • Invited Speaker at the 33rd Symposium on Theoretical Aspects of Computer Science (STACS2016)
  • Senior PC Member of the 25th International Joint Conference on Artificial Intelligence (IJCAI2016)
  • PC Member of the 29th International Workshop on Description Logics (DL2016)
  • PC Member of the 19th International Conference on Database Theory (ICDT2016)
  • Area Chair of 15th International Conference on Principles of Knowledge Representation and Reasoning (KR2016)
  • PC Member of Advances in Modal Logic 2016 (AiML2016)
  • PC Member of the International Joint Conference on Automated Reasoning (IJCAR2016)
Activities in previous years.

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 Editorial Board of the Journal of Artificial Intelligence Research (JAIR)
Editor of the Review of Symbolic Logic (RSL)

listening to