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.