Our group has been created in 2004 when
Jürgen Dix was appointed full professor for Theory
and Computational Intelligence. From 2005 until 2010 two colleagues joined our group: Prof. Barbara Hammer (machine learning,
datamining, statistical and relational learning) as well as apl. Prof. Matthias Reuter (softcomputing, pattern recognition, neural
networks industrial applications). Our research and teaching activities center around
- computational logic (deductive databases, answer set programming, nonmonotonic reasoning),
- multi-agent systems (logics in agency, rational agents, programming agents), and
- artificial intelligence (argumentation, verification, planning).
More details on our research projects and interests, can be found in the
research section. Members of our group actively participate in
organizing conferences worldwide either as program comittee members,
or as main organizers. For the convenience of the research community, we are running
Event@CIG, a mailing list for distributing calls for papers and relevant
announcements. We also organize the
Multi-Agent Programming Contest, an international
competition that strives to compare the performance measures of different multi-agent systems. We also extensively participate in
teaching and other educational activities of
Department of Informatics by lecturing, seminar leading and integrating students into our
project groups.