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…») |
|||
| Línea 1: | Línea 1: | ||
| − | 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 | + | 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 viernes 24 de enero de 2020 un fichero usuario_3.zip con los ficheros de los programas. |
*[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ProblemaViajante/viajante.lp Problema del viajante.] | *[http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios_evaluables/ProblemaViajante/viajante.lp Problema del viajante.] | ||
Revisión actual del 12:11 18 dic 2019
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 viernes 24 de enero de 2020 un fichero usuario_3.zip con los ficheros de los programas.