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

Ramón López de Mántaras: Premio Nacional de Investigación 2018

López de Mántaras, Director de nuestro Instituto recibe el Premio Nacional de Investigación 2018 por ser pionero en...

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

Read more