Ejercicios evaluables 3
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 10:46 10 dic 2018 de Mjoseh (discusión | contribuciones) (Página creada con «La tercera relación de ejercicios evaluables consiste en la realización de los ejercicios siguientes, mediante "Answer Set programming", usando el sistama clingo. Se envi…»)
La tercera 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 17 de enero de 2019 un fichero usuario_3.zip con los ficheros de los programas.