CS 7331. Problem Solving.
Fundamental concepts and methods in knowledge-based problem solving,
including knowledge representation and organization, planning, inference
mechanisms, control architectures, design, explanation, and knowledge
acquisition.
Goel.