The web page with the exercise assignments and solutions is: Exercise page Athens.
The documents for the Artificial Neural Net seminar are here:
Below are all the presentations for the lectures in the Fundamentals of AI course.
Introduction to AI and to this course
Introduction to State Space Representation
Basic Search: Heuristic search
MS Word document on Constraint Propagation
Version Spaces Machine Learning
Constraint processing: backtrack techniques
Constraint processing: consistency and hybrid techniques
Note that there are also some handwritten slides on the topics of:
Applications of constraint processing in interpretation of line drawings (see also the book of P.H.Winston, "Artificial Intelligence, third edition"),
Applications of constraint processing in Natural Language (see also Winston).
The material for this are the corresponding chapters in the book of Winston: "Symbolic Constraint Processing" and "Frames and Common Sense".
This material is included in the course notes that you received.
Automated Reasoning: Introduction
Automated Reasoning: Ground Horn Logic
Automated Reasoning: Horn Logic
Automated Reasoning: Clausal Logic