Online Course Catalog

Formal models and concepts in automated cognition; integrating machine learning and prior knowledge; current approaches and detailed analyses of the role of reasoning in the learning process; computational complexity and fundamental tradeoffs between expressiveness and tractability; implications for state-of-the-art artificial intelligence areas such as automated planning, the semantic web, relational learning, structured prediction, latent models, structure learning, theory formation, etc.; and philosophical and psychological aspects of integrating analytic and empirical evidence are covered in this course.

4 hours

CS 440 or CS 446.

• Computer Science