Search techniques, games, knowledge representation, logic and theorem proving. Expert systems. Natural language understanding. Vision. Learning from experience. Lisp (Prolog) is used to write programs related to the course.