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.

Miembros
Proyectos actuales
  • RAzonamiento, Satisfacción y Optimización
    Ene 2016 - Dic 2018
    (Main researcher:Lluís Godo)
  • Lógica y algoritmos
    Dic 2014 - Nov 2017
    (Main researcher:Pedro Meseguer)
Últimas noticias
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


Abr 2016

The prestigious journal "Fuzzy Sets and Systems" has published a special issue to celebrate the 70th birthday of Prof. Francesc Esteva.