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.