Answer Set Programming, 3 Credits

The course addresses the major principles in logic and constraint programming. The main focus of the course is on Stable Model or Answer Set semantics. This course  also focuses 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.