Answer Set Programming, 3 Credits
Örebro University, in collaboration with Umeå University, is offering an introduction course in Answer Set Programming (ASP). The course will address the major principles in logic and constraint programming. The main focus of the course is on Stable Model or Answer Set semantics. This course will also focus on formalizing and solving various problems within a declarative paradigm.
After completing the course, the student will be able to apply a suitable symbolic reasoning method based on answer set solvers to solve a problem within an intelligent system. The course is part of the education initiative Smarter at Örebro University.