- Intelligent Agent
- Uninformed/Informed Search Algorithms
- Hill Climbing Algorithm
- Adversial Search
- Knowledge Representation
- First-Order Logic
- Inference in First-Order Logic
- Inductive vs. Deductive reasoning
- Expert Systems
- Lisp programming
- Prolog