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…») |
|||
| (No se muestran 2 ediciones intermedias del mismo usuario) | |||
| Línea 2: | Línea 2: | ||
ejercicios siguientes, mediante "Answer Set programming", usando el | ejercicios siguientes, mediante "Answer Set programming", usando el | ||
sistama clingo. Se enviará a mjoseh@us.es y acordon@us.es antes del | sistama clingo. Se enviará a mjoseh@us.es y acordon@us.es antes del | ||
| − | + | domingo 11 de diciembre de 2019 un fichero usuario_1.zip con los ficheros | |
de los programas y las instancias. | de los programas y las instancias. | ||
*[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 actual del 09:55 18 nov 2019
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 domingo 11 de diciembre de 2019 un fichero usuario_1.zip con los ficheros de los programas y las instancias.