Diferencia entre revisiones de «Ejercicios evaluables 3»
De Lógica computacional y teoría de modelos (2019-20)
(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…») |
(Sin diferencias)
|
Revisión del 10:46 10 dic 2018
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.