Description
Provides an introduction to advanced techniques for the programming of intelligent systems and problem-solving techniques. Topics covered include: knowledge representation, propositional and predicate logic, expert systems, search and machine learning.