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.
Ramon López de Mántaras, Director de nuestro Instituto, recibe el Premio Nacional "Julio Rey Pastor" de...
A system for a combined Machine and Human feedback for learning music was the ultimate objective of the IIIA-CSIC’s...
