Diferencia entre revisiones de «Temas»
De Lógica computacional y teoría de modelos (2019-20)
| (No se muestra una edición intermedia del mismo usuario) | |||
| 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. | ||
| − | * [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]) |
* [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.html Tema 2. Programación con conjuntos de respuesta (ASP).] ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.pdf pdf]) ([http://www.cs.us.es/~acordon/LCyTM/anexoTema2.pdf Anexo]) | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.html Tema 2. Programación con conjuntos de respuesta (ASP).] ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.pdf pdf]) ([http://www.cs.us.es/~acordon/LCyTM/anexoTema2.pdf Anexo]) | ||
* Tema 3. Raíces de ASP: razonamiento no monótono. | * Tema 3. Raíces de ASP: razonamiento no monótono. | ||
* [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 pdf]) | * [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 pdf]) | ||
* [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-4-b/tema-4-b.html Tema 4 (b). Clingo: sintaxis y ejemplos.] | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-4-b/tema-4-b.html Tema 4 (b). Clingo: sintaxis y ejemplos.] | ||
| − | * [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 pdf]) | + | * [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 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]) | + | * [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. | ||
| − | * [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]) | + | * [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]) |
| − | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-9/tema-9.html Tema 9. Planificación.]([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-9/tema-9.pdf pdf]) | + | * [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-9/tema-9.html Tema 9. Planificación.] ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-9/tema-9.pdf pdf]) |
Revisión actual del 23:50 20 oct 2019
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)