La actividad de este grupo se centra en la modelización lógico-matemática del razonamiento y en el diseño de algoritmos para la resolución de problemas basados en restricciones y en satisfactibilidad.

Proyectos actuales
  • RAzonamiento, Satisfacción y Optimización
    Ene 2016 - Dic 2018
    (Main researcher:Lluís Godo)
Últimas noticias
Nov 2017

Hybrid metaheuristics in combinatorial optimization: A survey.
Blum, Christian, Jakob Puchinger, Günther R. Raidl, and Andrea Roli.
Applied Soft Computing 11, no. 6 (2011): 4135–4151.


Jul 2017

For her thesis: "On modal expansions of t-norm based logics with rational constants", supervised by Félix Bou, Frances Esteva and Lluis Godo. The award ceremony will take place during the gala dinner, on September the 13th, 2017, of the forthcoming EUSFLAT 2017 Conference which will be held in Warsaw.

 


Jul 2017

At the 2017 World Congress of the International Fuzzy Systems Association (IFSA) that took place in Otsu, Japan, Prof. Francesc Esteva was selected as IFSA Fellow