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.
Observera att den här kursen inte längre erbjuds. Här hittar du aktuella kurser inom AI för yrkesverksamma