This course is about Artificial Intelligence and covers the following topics:

  • Introduction to AI
  • Intelligent agents
  • Classical search
  • Local search
  • Adversarial search
  • Constraint satisfaction
  • Propositional logic
  • First order logic
  • AI planning