Diferencia entre revisiones de «Ejercicios evaluables 1»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 2: | Línea 2: | ||
ejercicios siguientes, mediante "Answer Set programming", usando el | ejercicios siguientes, mediante "Answer Set programming", usando el | ||
sistama clingo. Se enviará a mjoseh@us.es y acordon@us.es antes del | sistama clingo. Se enviará a mjoseh@us.es y acordon@us.es antes del | ||
| − | + | domingo 15 de diciembre de 2019 un fichero usuario_1.zip con los ficheros | |
de los programas y las instancias. | de los programas y las instancias. | ||
Revisión del 20:43 17 nov 2019
La primera 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 domingo 15 de diciembre de 2019 un fichero usuario_1.zip con los ficheros de los programas y las instancias.