School of Science and Technology

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.

Answer Set Programming

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.

As an introduction to Logic and Answer Set Programming this course discusses the following:

  • Basic concepts in logic and different standard approaches in logic programming.
  • Basic principles of non-monotonic reasoning and answer set semantics.
  • Practical aspects of using symbolic reasoning methods.
  • Applications areas for logic programming and reasoning based on answer set semantics.

This contract education initiative is aimed at working professionals with a higher education qualification of 180 credits earned at the first cycle (bachelor's level) with computer science/computer technology as the main field of study, or alternatively a higher education qualification of 180 credits earned at the first cycle (bachelor's level) in e.g. computer technology/computer science/systems science (which includes computer programming).

In addition, English B/English 6 is required.

The course is free of charge.

Coordinator of Smarter and professional education in AI

Johan Axelsson

Title: Contract Education Coordinator School/office: Communication and Collaboration

Profile page: Johan Axelsson


Phone: +46 19 303211

Room: T2201

Johan Axelsson

Course administrator

Jenny Tiberg

Title: Study and Research Administrator School/office: School of Science and Technology

Profile page: Jenny Tiberg


Phone: +46 19 303320

Room: T1109

Jenny Tiberg