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

Comença el projecte internacional WeNet

El projecte d'investigació...

Read more
Debates en el Palau Macaya: Ciclo Inteligencia Artificial, Ética y Participación ciudadana

Ayer, con la presencia de Carles Sierra, Vice Director del IIIA-CSIC finalizó la participación de nuestro centro en...

Read more