La actividad de este grupo se centra en la modelización lógica y matemática del razonamiento, con atención especial a la lógica difusa matemática, los modelos de incertidumbre, la lógica para información incompleta y la argumentación computacional, y el diseño de algoritmos eficientes para la resolución de problemas de satisfacción y optimización por métodos basados en SAT, restricciones y metaheurísticas.
Jefe de grupo:
Jordi Levy