Diferencia entre revisiones de «Ejercicios evaluables 2»
De Lógica computacional y teoría de modelos (2019-20)
(Página creada con «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 envi…») |
|||
| Línea 5: | Línea 5: | ||
de los programas. | de los programas. | ||
| − | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/ | + | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/Ejercicio_5_4/Ej_5_4.lp Ejercicio 1.] |
Revisión del 13:53 4 dic 2018
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 21 de diciembre de 2018 un fichero usuario_2.zip con los ficheros de los programas.