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.

Notícies

Creativitat i innovació a l’aula d’FP

Com part de l'educació, la formació professional també requereix de cambis per incorporar metodologies innovadores i...

Llegeix més
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...

Llegeix més