Academic Catalog

CENG581 AUTOMATED REASONING

Course Code: 5710581
METU Credit (Theoretical-Laboratory hours/week): 3(3-0)
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 Content

Geometric reasoning, temporal reasoning, uncertain reasoning, non-monotonic reasoning, induction, metaknowledge and metareasoning, state and change, planning, intelligent agent.