Information

• Guidelines for the examination.
• Example questions for the examination.
• Contact
  • Danny De Schreye
  • Theofrastos Mantadelis

Theory
2011-2012

• FAI Leuven

Exercises
2011-2012

• Basic Search
  • Assignments:
  • Solutions:
  • Presentation:
  • Model Solutions:
• Optimal Search
  • Assignments:
  • Solutions:
  • Presentation:
  • Model Solutions:
• Version Spaces
  • Assignments:
  • Solutions:
  • Presentation:
  • Model Solutions:
• Games & Constraint Processing
  • Assignments:
  • Solutions:
  • Presentation:
  • Model Solutions:
• Constraint Processing & Waltz
  • Assignment:
  • Solutions:
    • Part 1:
    • Part 2:
    • Part 3:
  • Presentation:
  • Model Solutions:
• STRIPS & Logic
  • Assignment:
  • Solution:
    • Part 1:
    • Part 2:
    • Part 3:
  • Presentation:
  • Model Solutions:
• Automated Reasoning (1) (ECS option only)
  • Assignment:
  • Solution:
    • Part 1:
    • Part 2:
  • Presentation:
  • Model Solutions:
• Automated Reasoning (2) (ECS option only)
  • Assignment:
  • Solution:
  • Presentation:
  • Model Solutions:

Extra's
2011-2012

• JSearchDemo: Applet to simulate search algorithms.
• Extra exercises for version spaces & automated reasoning:

Reactions
and
Questions