Diferencia entre revisiones de «Ejercicios evaluables 2»
De Lógica computacional y teoría de modelos (2019-20)
| (No se muestra una edición intermedia 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 | ||
| − | viernes | + | viernes 20 de diciembre de 2019 un fichero usuario_2.zip con los ficheros |
de los programas. | de los programas. | ||
*[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Ejercicio_5_4/Ej_5_4.lp Ejercicio 1.] | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Ejercicio_5_4/Ej_5_4.lp Ejercicio 1.] | ||
| + | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Ejercicio_5_5/Ej_5_5.lp Ejercicio 2.] | ||
| + | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Ejercicio_5_9/Ej_5_9.lp Ejercicio 3.] | ||
Revisión actual del 12:22 10 dic 2019
La segunda 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 viernes 20 de diciembre de 2019 un fichero usuario_2.zip con los ficheros de los programas.