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.