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

L'IIIA participa a la VI Jornada del Cercle de Directors TIC

El Circle de Directors TIC vaig reunir els Directors TICs al voltat de la presentació de les seves experiències amb...

Leer más
Leading AI entrepreneurs visited the IIIA-CSIC

The Fundación Consejo España China promotes the relationship between Spain and China. Fundación Consejo España China...

Leer más