Theory of Artificial Intelligence

About this group

Our main research interest concerns logic in computer science and in artificial intelligence. Specific areas of interest include knowledge representation and semantic technologies, database theory, and verification of infinite-state systems.

Contact information

Postal address:

AG Theorie der künstlichen Intelligenz
Universität Bremen, FB 03
Postfach 330440
28334 Bremen

Physical address:

AG Theorie der künstlichen Intelligenz
2nd floor of Cartesium building
Enrique-Schmidt-Straße 5
28359 Bremen

Fax: ++49 421 218 98 64431