Linea Centro/s Inicio Fin Satisfacció de restriccions-_-Satisfacción de restricciones-_-Constraint Satisfaction UdG // Raonament automàtic-_-Razonamiento Automático-_-Automated Reasoning UPC i UdG // Planificació automàtica-_-Planificación Automática-_-AI planning UdG //