Trabajo del Grupo de Lógica Computacional (1987-2009)

El inicio del primer trabajo sobre la automatización del razonamiento. Los trabajos realizados desde entonces se encuentran en las páginas de publicaciones, tesis y trabajos de investigación dirigidos y cursos impartidos. La ordenación de estas páginas es simplemente cronológica. Una visión más ordenada del trabajo desarrollado durante estos años se encuentra en las transparencias de las conferencias que dí en la Universidad de La Coruña: Un viaje a través del razonamiento automático (Experiencias del GLC de la US). En ella se describen los sistemas de razonamiento que hemos utilizado y las teorías que hemos formalizado.