KR&R Group: Courses
- CS 400: Logic in Computer Science
- CS 404: Artificial Intelligence
- CS 500: Logic in Computer Science
- CS 502: Knowledge Representation and Reasoning
- CS 504: Automated Reasoning
- CS 506: Cognitive Robotics
- CS 611: Advanced Topics in AI