CS 581 dersi açılacaktır

This course is about representing knowledge symbolically and reasoning about it automatically.

In particular, the mathematical foundations of various knowledge representation and reasoning formalisms (e.g., propositional and first-order logic, answer set programming, action languages, the situation calculus), and their applications to computer sciences and other sciences (e.g., graph theory, planning, VLSI design, historical linguistics, computational biology). We will study some of these topics by solving homework problems (both theoretical and application-oriented) and by discussing these solutions in class. We will also read and discuss related research papers.

For more information about the course, see the course web page