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.