Strongly method-oriented
1. Introduction9. Predicate Logic
2. Rational Agents11. Planning
3. Solving Problems by Searching12. Simple Probabilistic Reasoning
4. Informed Search13. Machine Learning
5. Constraint Satisfaction Problems14. Acting under Uncertainty
6. Games
7. Propositional Logic
8. Satisfiability and Model Construction