Science - Course - Advanced Topics In Knowledge Representation And Non-Monotonic Reasoning

  • Course Code: CMPS716
  • Credits: 3
  • Hours Distribution: (3crs.: 3lec.)
  • Course Type: Elective Courses (EC)

Course Description

Families of nonmonotonic logics (Circumscription, Default logic, Autoepistemic logic) The Well Founded semantics, Stable Model semantics, The state-of-the-art Answer Set Programming paradigm, Planning, diagnosis and model checking. Answer Set Programming.