| Introduction.
| Intelligent Agents: behavior, environments, structure .
| Solving Problems by Searching: uninformed, searching with partial information.
| Informed Search Methods and Exploration: heuristics, local search algorithms and optimization problems, local search in continuous spaces.
| Constraint Satisfaction Problems: backtracking, local search.
| Adversarial Search: alpha-beta pruning, imperfect, real-time decisions, games that include an element of chance.
| Logical Agents: knowledge-based agents, propositional logic, effective propositional inference.
| First-Order Logic: syntax and semantics, using first-order logic, knowledge engineering in first-order logic
| Inference in First-Order Logic: unification and lifting, forward chaining, backward chaining, resolution
| Planning: the planning problem, planning with state-space search, partial-order planning, planning graphs, planning with propositional logic
| Description Logics: basic notions in DLs, syntacs and semantics, basic reasoning problems, inverse roles, number restriction
| BDI Agents: goals, events, plans, triggering events, context, body, interpreter, features, scenarios
| Hierarchical Planning in BDI Agents: HTN planning, operational semantics, planning for declarative goals
| Debugging BDI Agent Programs
