Temas
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 23:46 20 oct 2019 de Acordon (discusión | contribuciones)
Temas de Lógica computacional y teoría de modelos(2019-20)
En esta página se irán publicando los temas de la asignatura.
- Tema 1. Introducción.(pdf).
- Tema 2. Programación con conjuntos de respuesta (ASP). ( pdf) (Anexo)
- Tema 3. Raíces de ASP: razonamiento no monótono.
- Tema 4. Modelización de bases de conocimiento. ( pdf).
- Tema 4 (b). Clingo: sintaxis y ejemplos..
- Tema 5. Representación por defecto.( pdf).
- Tema 6. El paradigma de programación ASP.( pdf)
- Tema 7. Algoritmos para calcular conjuntos de respuestas.
- Tema 8. Modelización de dominios dinámicos.( pdf)
- Tema 9. Planificación.( pdf)