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.

• 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

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

• Rafael H. Bordini

• telefone:
• email: smart.pucrs@gmail.com