The slides and course notes of the course Computational Logic.
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Homework/Quiz problems for AI lectures