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.

Noticias

Defensa de la Tesi Doctoral de Xavier Ferrer Aran

La Defensa de la Tesi Doctoral "Concept Discovery and Argument Bundles in the Web of Experiences" de Xavier Ferrer...

Leer más
The IIIA participated at the OuiShare Fest Barcelona

Lissette Lemus, Technology Transfer expert at the IIIA, participated in the workshop "Taller de Futuro:...

Leer más