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 4: | Línea 4: | ||
* [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-1/intro.html Tema 1:Introducción.]([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-1/intro.pdf pdf]). | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-1/intro.html Tema 1:Introducción.]([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-1/intro.pdf pdf]). | ||
| − | * Tema 2. Programación con conjunto de respuesta (ASP). | + | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.html Tema 2. Programación con conjunto de respuesta (ASP).] ( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.pdf]). |
* Tema 3. 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. | + | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-4/tema-4.html Tema 4. Modelización de bases de conocimiento.] ( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-4/tema-4.pdf]). |
| − | * Tema 5. Representación por defecto. | + | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-5/tema-5.html Tema 5. Representación por defecto.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-5/tema-5.pdf]). |
* Tema 6. El paradigma de programación ASP. | * Tema 6. El paradigma de programación ASP. | ||
* Tema 7. Algoritmos para calcular conjuntos de respuestas. | * Tema 7. Algoritmos para calcular conjuntos de respuestas. | ||
* Tema 8. Modelización de dominios dinámicos. | * Tema 8. Modelización de dominios dinámicos. | ||
* Tema 9. Planificación. | * Tema 9. Planificación. | ||
Revisión del 11:57 15 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.(pdf).
- Tema 2. Programación con conjunto de respuesta (ASP). ( [1]).
- Tema 3. Raíces de ASP: razonamiento no monótono.
- Tema 4. Modelización de bases de conocimiento. ( [2]).
- Tema 5. Representación por defecto.( [3]).
- 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.