A national initiative on education and competence in Artificial Intelligence

Answer Set Programming, 3 hp

Kunskapsrepresentation och resonerande

Observera att den här kursen inte längre erbjuds. Här hittar du aktuella kurser inom AI för yrkesverksamma

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.