Navigation |
RecercaTemes de recerca:
Projectes finançats actuals: MULOG2. Lògica multivalorada: fonaments i aplicacions a la satisfactibilitat, argumentació i ontologies. Projecte del ministeri espanyol (2008 – 2010) LoMoReVi. Models lògics per al raonament amb informació vague. Projecte LogICCC del programa EUROCORES de la Unió Europea (2009 – 2011)
Grup de recerca actual:
Col·laborador extern de: |