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.

Notícies

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

Llegeix més
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...

Llegeix més