The course is partially based on the book: Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig. Some slides use the material from the book page.
The logic and rule-based part is partially based on the book: Logical Foundations for Rule_based Systems by Antoni Ligęza. Sample content
Selected course materials:
Basic Logic Support: