An introduction to the logical foundations of AI, including first-order logic, search, knowledge representation, planning. Students taking this course at the 400 level will be required to complete additional readings and/or assignments, including a significant project or essay.