Research Group on Semantic, Multi-Agent, and Robotic Technologies (SMART) banner image

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