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.

Noticias

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...

Leer más
“Artificial Intelligence for the European Union” (AI4EU) project starts today

European Leaders in Artificial Intelligence meet today to kick off the AI4EU project aimed to provide users with a...

Leer más