Links:
Table of contents
Lab lectures
List of lectures:
Homework assignments
Exam
Reading material
Book
- Handouts (uploaded on Virtuale with slides and other material)
- Dirk van Dalen. Logic and structure. 4th edition, Springer (available e.g. here)
- Bratko. Prolog programming for artificial Intelligence
- Triska. The power of Prolog
- Russell, Norvig. Artificial Intelligence: A Modern Approach
- The MiniZinc Handbook