CENG581 AUTOMATED REASONING
| Course Code: | 5710581 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 8.0 |
| Department: | Computer Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | Prof.Dr. FERDA NUR ALPASLAN |
| Offered Semester: | Fall or Spring Semesters. |
Course Objectives
Course Content
Geometric reasoning, temporal reasoning, uncertain reasoning, non-monotonic reasoning, induction, metaknowledge and metareasoning, state and change, planning, intelligent agent.