The course covers techniques and applications of artificial intelligence and machine learning; representation retrieving and application of knowledge for problem solving. Topics typically include hypothesis exploration, theorem proving, vision, Bayesian learning, decision trees, genetic algorithms, neural networks.