Lógica Computacional en Sevilla (30 años en una hora)

PorJosé A. Alonso

Ayer, en las Jornadas de Lógica, Computación e Inteligencia Artificial, hice una presentación sobre el desarrollo de la investigación de la Lógica computacional en la Universidad de Sevilla desde sus comienzos (en el Seminario de Lógica Matemática del curso 1980-81) hasta la actualidad.

El título de la presentación fue Lógica Computacional en Sevilla (30 años en una hora).

Las transparencias usadas en la presentación son las que se muestran a continuación

Descargar (PDF, 1.6MB)

Presentación de sistemas de razonamiento

PorJosé A. Alonso

Esta semana se ha celebrado un curso en la Facultad de Matemáticas sobre Software libre frente a software comercial: posibilidades y aplicaciones a la docencia. Dentro del curso hice una presentación de sistemas de razonamiento automático. En la presentación comento brevemente cómo trabajar con distintos sistemas de razonamiento (Otter/MACE, ACL2, PVS e Isabelle/Isar) usados por nuestro grupo y algunas aplicaciones de los distintos sistemas.