Simposio sobre Lógica y Computación

Fecha: 17-03-2014.
Horario: 10:30/15:00 h.
Lugar: Seminario del Departamento de Matemática Aplicada - E.T.S. Ingeniería Informática - Universidad de Málaga.

Intervienen:

• 10:30 Pere Pardo Ventura: Planificación lógica en lógica temporal rebatible y lógica epistémica: el caso de t-DeLP y LCC.
• 12:00 Fernando Velázquez Quesada: Procesos de razonamiento como dinámicas epistémicas.
• 13:30 Enrique Sarrión Morillo: Concepción generalizada de la abducción y su implementación.