Diferencia entre revisiones de «Ejercicios evaluables 1»
De Lógica computacional y teoría de modelos (2019-20)
(Página creada con «La primera relación de ejercicios evaluables consiste en la realización de los ejercicios siguientes, mediante "Answer Set programming", usando el sistama clingo. Se envi…») |
|||
| Línea 7: | Línea 7: | ||
*[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Agata/Agata.lp Who killed aunt Agata?.] | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Agata/Agata.lp Who killed aunt Agata?.] | ||
*[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ColoreadoGrafo/coloreadoGrafo_3.lp Coloreado de un grafo.] | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ColoreadoGrafo/coloreadoGrafo_3.lp Coloreado de un grafo.] | ||
| − | + | ** Instancias: | |
| + | *** [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ColoreadoGrafo/coloreadoGrafo_3_inst_1.lp Ejemplo 1] | ||
| + | *** [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ColoreadoGrafo/coloreadoGrafo_3_inst_2.lp Ejemplo 2] | ||
| + | *** [http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ColoreadoGrafo/coloreadoGrafo_3_inst_3.lp Ejemplo 3] | ||
*[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Reinas/n-reinas.lp Problema de las n reinas.] | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Reinas/n-reinas.lp Problema de las n reinas.] | ||
Revisión del 14:40 19 nov 2018
La primera relación de ejercicios evaluables consiste en la realización de los ejercicios siguientes, mediante "Answer Set programming", usando el sistama clingo. Se enviará a mjoseh@us.es y acordon@us.es antes del martes 4 de diciembre de 2018 un fichero usuario_1.zip con los ficheros de los programas y las instancias.