Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

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 11 de diciembre de 2019 un fichero usuario_1.zip con los ficheros de los programas y las instancias.

• Who killed aunt Agata?.
• Coloreado de un grafo.
  • Instancias:
    • Ejemplo 1
    • Ejemplo 2
    • Ejemplo 3
• Problema de las n reinas.