Research groups

Research groups relevant to CISA

Agents & Multiagent Systems

Link out to the Agents & Multiagent Systems website.

AIAI

Artificial Intelligence Applications Institute.

Data-Intensive Research

Data-intensive refers to huge volumes of data, complex patterns of data integration and analysis and intricate interactions between combinations of users and systems that deal with these data.

Mathematical Reasoning

We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence

Planning & Activity Management

Link to the Planning & Activity Management website.

Unifying Symbolic Systems and Machine Learning

The Lab carries out research in artificial intelligence, by blending ideas from machine learning, knowledge representation, automated planning and multi-agent systems.