Lógica computacional y teoría de modelos (2019-20) - Contribuciones del usuario [es]

Sistemas

2019-10-20T21:52:03Z

Acordon:

== Sistemas utilizados en ''Lógica computacional y teoría de modelos (2019-20)'' ==

En esta página se irán escribiendo enlaces a los sistemas utilizados en el curso

* [http://potassco.sourceforge.net gringo, clasp y clingo]
** Instalación de los sistemas:
*** En Ubuntu 16.04 se instala con: sudo apt-get install gringo
*** Instala gringo (4.5.4-1) y clasp (3.1.4-1).
*** Se puede comprobar la versión con: gringo --version (clasp -- version)
*** La ayuda se obtiene con: gringo --help
*** Formas de ejecutarlo:
**** gringo [ opciones | ficheros ] | clasp [ opciones | número ]
**** clingo [ opciones | ficheros | número ]
**** gringo transforma un programa lógico en un programa equivalente sin variables.
**** clasp obtiene los modelos a partir de la salida de gringo.
**** clingo es una combinación de gringo y clasp.

* Sistemas en línea
** [https://potassco.org/clingo/run/ Running clingo in your browser].
** [http://asptut.gibbi.com Answer Set Programming for the Semantic Web - Tutorial].
** [http://wave.ttu.edu/ online SPARC].

Temas

2019-10-20T21:50:33Z

Acordon:

== 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.

* [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])
* 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-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-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.
* [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])

Temas

2019-10-20T21:49:49Z

Acordon:

== 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.

* [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])
* 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-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-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.
* [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])

Temas

2019-10-20T21:48:54Z

Acordon:

== 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.

* [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])
* 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-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-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.
* [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])

Temas

2019-10-20T21:47:11Z

Acordon:

== 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.

* [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])
* 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-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-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.
* [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])

Temas

2019-10-20T21:46:09Z

Acordon:

== 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.

* [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])
* 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-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-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.
* [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])

Sistemas

2019-10-20T21:43:40Z

Acordon:

== Sistemas utilizados en ''Lógica computacional y teoría de modelos (2019-20)'' ==

En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso

* [http://potassco.sourceforge.net gringo, clasp y clingo]
** Instalación de los sistemas:
*** En Ubuntu 16.04 se instala con: sudo apt-get install gringo
*** Instala gringo (4.5.4-1) y clasp (3.1.4-1).
*** Se puede comprobar la versión con: gringo --version (clasp -- version)
*** La ayuda se obtiene con: gringo --help
*** Formas de ejecutarlo:
**** gringo [ opciones | ficheros ] | clasp [ opciones | número ]
**** clingo [ opciones | ficheros | número ]
**** gringo transforma un programa lógico en un programa equivalente sin variables.
**** clasp obtiene los modelos a partir de la salida de gringo.
**** clingo es una combinación de gringo y clasp.

* Sistemas en línea
** [https://potassco.org/clingo/run/ Running clingo in your browser].
** [http://asptut.gibbi.com Answer Set Programming for the Semantic Web - Tutorial].
** [http://wave.ttu.edu/ online SPARC].

Temas

2018-11-08T15:56:45Z

Acordon: /* Temas de Lógica computacional y teoría de modelos(2018-19) */

== 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.

* [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 conjunto 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.
* [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-5/tema-5.html Tema 5. Representación por defecto.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-5/tema-5.pdf pdf]).
* 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.

Temas

2018-11-08T15:54:51Z

Acordon: /* Temas de Lógica computacional y teoría de modelos(2018-19) */

== 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.

* [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 conjunto de respuesta (ASP).] ( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.pdf pdf]).
* 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-5/tema-5.html Tema 5. Representación por defecto.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-5/tema-5.pdf pdf]).
* 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.

Temas

2018-11-08T15:52:16Z

Acordon: /* Temas de Lógica computacional y teoría de modelos(2018-19) */

== 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.

* [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 conjunto de respuesta (ASP).] ( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/tema-2.pdf pdf]). [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-2/anexoTema2.pdf Anexo])
* 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-5/tema-5.html Tema 5. Representación por defecto.]( [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Tema-5/tema-5.pdf pdf]).
* 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.