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.

Notícies

El cómic de divulgación "Lisa y Watson" de Pedro Meseguer mencionado en TVE

El cómic "Lisa y Watson" de divulgación de la IA dirigido a estudiantes de primaria y secundaria, mencionado en el...

Llegeix més
Comença el projecte internacional WeNet

El projecte d'investigació...

Llegeix més