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

From "Music Learning Project" to "Smart Education"

A system for a combined Machine and Human feedback for learning music was the ultimate objective of the IIIA-CSIC’s...

Leer más
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