Course: ASP for industry

Answer Set Programming (ASP) is an approach developed within the field of artificial intelligence (AI) for solving difficult search problems. ASP was initially developed for  modeling problems in the branch of AI that is commonly referred to as Knowledge Representation and Reasoning (KRR), and has been identified as a significant contribution in the research field of AI. More recently, ASP has become highly attractive for the representation of and solving search problems both for academia and industry. ASP been successfully applied for solving problems in domains such as bioinformatics, scheduling, timetabling, dynamic reconfiguration, and software engineering.

This course introduces the Answer Set Programming paradigm and shows its potential to deal with industrial problems. The course is for professionals in industry and public organisations who have knowledge in engineering and system development, who want to gain deepened knowledge in AI.

There are three main expected learning outcomes for the students attending this course:

  • Know basic principles of Answer Set Programming to be able to describe and apply symbolic reasoning methods.
  • Use answer set solvers for modeling and implementing of intelligent systems.
  • Be able to judge the suitability of symbolic reasoning methods for a given problem.

The course corresponds to 3 ECTs and consists of eight lectures with exercises, divided over three days, combined with home assignments. The course is developed by the Department of Computing Science as part of AI Competence for Sweden, in collaboration with Örebro University and their SMARTER program for industry. A certificate of attendance will be provided, but no formal credits in this edition of the course. Note that presence during the three days and submitting home assignments is obligatory to receive the certificate.

Time: Postponed, to be announced!

Location: Seminar room at the MIT-Place, MIT building.


For more information, please, contact Juan Carlos Nieves:

The course is part of a package of introductory courses for industry and public organisations developed by Umeå University for increasing knowledge in the field of artificial intelligence. For an overview, please, visit this page.