Knowledge Representation
and Automated Reasoning

Slides

Exercises

Documentation


Collection of previous exercises

Year 2016

Year 2014

Year 2013











Maintained by Pedro Cabalar