Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

Temas de Lógica computacional y teoría de modelos(2018-19)

En esta página se irán publicando los temas de la asignatura.

• [[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-1/intro.html][Introducción]]
• [[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-2/tema-2.html][Tema 2: Programación con conjunto de respuesta (ASP)]] ([[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-2/tema-2.pdf][pdf]])
• Raíces de ASP: razonamiento no monótono
• [[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-4/tema-4.html][Modelización de bases de conocimiento]] ([[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-4/tema-4.pdf][pdf]])
• [[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-5/tema-5.html][Representación por defecto]] ([[/home/mjoseh/ownCloud/actual/cursos/asp/LibroGelfond/Tema-5/tema-5.pdf][pdf]])
• El paradigma de programación ASP
• Algoritmos para calcular conjuntos de respuestas
• Modelización de dominios dinámicos
• Planificación