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

En estas aplicaciones se estudian dos ejemplos de cómo usar ASP para generar diferentes tipos de laberintos.

• Ejemplo 1
• Ejemplo 2