LE/EECS 3401
Introduction to Artificial Intelligence and Logic Programming
Fall 2024
Topics
- Artificial intelligence
- knowledge representation
- first-order logic
- logical reasoning
- Prolog
- logic programming
Readings
- Listed texts: Russell and Norvig, Artificial Intelligence: A Modern Approach, 4th ed. (2020); Clocksin and Mellish, Programming in Prolog: Using the ISO Standard, 5th ed.
Sources
- Course catalogue ↗2026–2027
- Public course website / syllabus ↗Fall 2024