Aplicaciones y casos de estudio
De Lógica computacional y teoría de modelos (2019-20)
En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.
- Puzzles de tableros: Resolución de puzzles de tableros mediante ASP, presentado por Ana Alicia Rivera.
- Laberintos: Resolución y generación de laberintos mediante ASP, presentado por María Calvo.
- Aplicaciones a bioinformática: Aplicaciones a bioinformática, presentado por Ulises Pastor.