CENG581Graduate
Automated Reasoning
Printed in the catalogue as AUTOMATED REASONING
Course content
Geometric reasoning, temporal reasoning, uncertain reasoning, non-monotonic reasoning, induction, metaknowledge and metareasoning, state and change, planning, intelligent agent.
More in CENG
- CENG100Computer Engineering Orientation
- CENG111Introduction to Computer Eng. Concepts
- CENG140C Programming
- CENG213Data Structures
- CENG222Statistical Methods for Computer Engineering
- CENG223Discrete Computational Structures
- CENG232Logic Design
- CENG240Programming with Python for Engineers