Ejercicios evaluables 2
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 13:52 4 dic 2018 de Mjoseh (discusión | contribuciones) (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…»)
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.