III Jornadas de Lógica, Computación e Inteligencia Artificial | Lógica, Computación e IA.