The activity of this group is centered around the logic and mathematic modelization of reasoning, and the design of algorithms for solving constraint-based problems and satisfiability.

Current news

Estrategia Española para la Inteligencia Artificial en I+D+I

El pasado 4 de Marzo de 2019, el Gobierno presentó su documento para la...

Read more
Prof. Carles Sierra has been selected as the recipient of the "2019 ACM/SIGAI Award for Excellence in Autonomous Agents Research"

This award acknowledges the contributions of outstanding researchers in the field of autonomous agents, and is ...

Read more