This lecture covers the basic notions within the realm of what is called Artificial Intelligence. Hence, students will get knowledge about formalizing problems in general such that they are able to solve these problems as optimal as possible. Besides, they will be able to assess the quality of different basic techniques to find solutions for AI problems.

Covered Topics:

1. Searching: uninformed and informed search; adverserial search
2. Constraint Satisfaction Problems
3. Logic: propositional and predicate logic, inference
4. Prolog
5. Inductive Logic Programming

Lecturer: Prof. Dr. Dr. Lars Schmidt-Thieme
Tutorial: Christoph Freudenthaler