Knowledge Representation
and Automated Reasoning

Slides

Exercises

Documentation


Collection of previous exercises

Year 2017

  • Exercise 1: 8 queens problem.
    (7/3/2018) >> An implementation (Queens.zip) as a SAT problem by Daniel Iglesias, mixing clasp, C, and a graphical interface in java.
  • Exercise 2: La Liga schedule (Spanish Soccer Competition calendar).

Year 2016

Year 2014

Year 2013











Maintained by Pedro Cabalar