Temas
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 11:47 15 oct 2018 de Mjoseh (discusión | contribuciones) (→Temas de Lógica computacional y teoría de modelos(2018-19))
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/public_html/cursos/LibroGelfond/Tema-1/intro.html Tema 1:Introducción.]([/home/mjoseh/public_html/cursos/LibroGelfond/Tema-1/intro.pdf pdf]).
- Tema 2. Programación con conjunto de respuesta (ASP).
- Tema 3. Raíces de ASP: razonamiento no monótono.
- Tema 4. Modelización de bases de conocimiento.
- Tema 5. Representación por defecto.
- Tema 6. El paradigma de programación ASP.
- Tema 7. Algoritmos para calcular conjuntos de respuestas.
- Tema 8. Modelización de dominios dinámicos.
- Tema 9. Planificación.