Course Slides Lecture 2. Basic and informed search strategies Lecture 3. Constraint satisfaction problems Lecture 4. First order predicate logic Lecture 5. Theorem proving in FOPL Lecture 7. Uncertain knowledge and reasoning Lecture 8. Structured knowledge representations Lecture 10 & 11. Machine learning |