Research in our group
Broadly speaking, ICR is active in Knowledge Representation and Reasoning, Multi-agent systems and Cognitive Robotics.
Research Topics
Specific areas of research are
• Deontic logic and Normative multi-agent systems
• Formal argumentation and Defeasible inference
• Epistemology and Cognitive dynamics for AI
• Explainable AI and Social robotics
• Automated reasoning and Sat solving