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

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.