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

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

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