Ejercicios evaluables 2
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 13:54 4 dic 2018 de Mjoseh (discusión | contribuciones)
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 jueves 20 de diciembre de 2018 un fichero usuario_2.zip con los ficheros de los programas.