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

Documento estrategia I+D+I en IA del CSIC

El 13 y 14 de junio se celebró una reunión en el IIIA-CSIC para la elaboración de la estrategia I+D+I en...

Llegeix més
Premi tesi doctoral SEIO

Francisco Salas Molina, que va fer la tesi doctoral supervisat per Joan Antonio Rodriguez, Francisco Martín i Pablo...

Llegeix més