Diferencia entre revisiones de «Temas»
De Lógica computacional y teoría de modelos (2019-20)
(Página creada con «== 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/cu…») |
(→Temas de Lógica computacional y teoría de modelos(2018-19)) |
||
Línea 3: | Línea 3: | ||
En esta página se irán publicando los temas de la asignatura. | En esta página se irán publicando los temas de la asignatura. | ||
− | * | + | * Tema 1. Introducción. |
− | * | + | * Tema 2. Programación con conjunto de respuesta (ASP). |
− | * Raíces de ASP: razonamiento no monótono | + | * Tema 3. Raíces de ASP: razonamiento no monótono. |
− | * | + | * Tema 4. Modelización de bases de conocimiento. |
− | * | + | * Tema 5. Representación por defecto. |
− | * El paradigma de programación ASP | + | * Tema 6. El paradigma de programación ASP. |
− | * Algoritmos para calcular conjuntos de respuestas | + | * Tema 7. Algoritmos para calcular conjuntos de respuestas. |
− | * Modelización de dominios dinámicos | + | * Tema 8. Modelización de dominios dinámicos. |
− | * Planificación | + | * Tema 9. Planificación. |
Revisión del 18:28 14 oct 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.
- 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.