Course Catalog

CS 504 Knowledge Representation and Reasoning	3 Credits
Mathematical foundations of various knowledge representation and reasoning formalisms (e.g., classical logic,answer set programming, action languages, situation calculus, description logic, constraint programming), and their applications to computer science and other sciences (e.g., commonsense knowledge representation, belief/theory revision/update, Semantic Web, graph theory, planning, diagnosis, VLSI design, historical linguistics, computational biology, biomedical informatics).
Last Offered Terms Course Name SU Credit Fall 2022-2023 Knowledge Representation and Reasoning 3 Spring 2019-2020 Knowledge Representation and Reasoning 3 Fall 2017-2018 Knowledge Representation and Reasoning 3 Fall 2015-2016 Knowledge Representation and Reasoning 3 Fall 2011-2012 Knowledge Representation and Reasoning 3 Fall 2010-2011 Knowledge Representation and Reasoning 3 Fall 2008-2009 Knowledge Representation and Reasoning 3 Fall 2007-2008 Knowledge Representation and Reasoning 3
Prerequisite: __
Corequisite: __
ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year)
General Requirements: