Lecture, four hours. Preparation: basic knowledge of semantics. Requisite: course 185A or 209A. Study of algorithms to compute and reason with meanings of sentences and texts. Phenomena such as anaphor resolution, presupposition projection, and tracking time, objects, and space to be covered. S/U or letter grading.