Problem Solving: Solving Problems by Searching, heuristic search techniques, constraint satisfaction problems, stochastic search methods, Game Playing: mini-max, alpha-beta pruning. Knowledge and Reasoning: Building a Knowledge Base: Propositional logic, first order logic, situation calculus. Theorem Proving in First Order Logic.Planning, partial order planning. Uncertain Knowledge and Reasoning, Probabilities, Bayesian Networks. Learning: Overview of different forms of learning, Learning Decision Trees, Neural Networks. Introduction to Natural Language Processing. Applications and Recent Research Trends