About us

The SMART research group produces internationally leading research in Artificial Intelligence, especially in the areas of multi-agent systems and domain-specific knowledge representation using formal ontologies. Overall, the group aims to employ the techniques it develops in the production of innovative technology for the social good and sustainability.

Main topics of interest:

Argumentation
Multi-Agent Planning
Task Allocation
Formal Semantics
Formal Verification of Multi-Agent Systems
Multi-Agent Oriented Programming Languages
Intention Recognition
Conceptual Spaces
Ontological Reasoning

Main areas of application:

Assisted Living
Disaster Management
Human-Agent Teams
Cognitive Robotics
Multi-Robotics
Protected-area patrol
Smart Cities
Logistics