Diferencia entre revisiones de «Temas»
De Lógica computacional y teoría de modelos (2019-20)
(→Temas de Lógica computacional y teoría de modelos(2018-19)) |
(→Temas de Lógica computacional y teoría de modelos(2018-19)) |
||
Línea 11: | Línea 11: | ||
* [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-6/tema-6.html Tema 6. El paradigma de programación ASP.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-6/tema-6.pdf pdf]) | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-6/tema-6.html Tema 6. El paradigma de programación ASP.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-6/tema-6.pdf pdf]) | ||
* Tema 7. Algoritmos para calcular conjuntos de respuestas. | * Tema 7. Algoritmos para calcular conjuntos de respuestas. | ||
− | * Tema 8. Modelización de dominios dinámicos. | + | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-8/tema-8.html Tema 8. Modelización de dominios dinámicos.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-8/tema-8.pdf pdf]) |
* Tema 9. Planificación. | * Tema 9. Planificación. |
Revisión del 12:04 18 dic 2018
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.
- Tema 1:Introducción.(pdf).
- Tema 2. Programación con conjunto 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.