The problems for the course Computational Logic at Jacobs University
Logic Atlas, Version 2
Homework/Quiz problems for AI lectures