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

A general audience book entitled "Inteligencia Artificial", authored by two IIIA scientists, has been published

This book, authored by Ramon Lopez de Mantaras and Pedro Meseguer, is number 87 in the series of general...

Leer más