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

Prof. Ramon Lopez de Mantaras receipient of the 2017 "Donald E. Walker Award" from IJCAI

At the opening ceremony of IJCAI-17on August 22 in Melbourne, the Donald E. Walker Distinguished Service Award will...

Leer más
Amanda Vidal receipient of the 2015 EUSFLAT Best PhD Thesis Award

For her thesis: "On modal expansions of t-norm based logics with rational constants", supervised by Félix Bou,...

Leer más