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

Ramon López de Mántaras: Premio Nacional "Julio Rey Pastor" de Investigación 2018

Ramon López de Mántaras, Director de nuestro Instituto, recibe el Premio Nacional "Julio Rey Pastor" de...

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