Skip to content
Main menu hidden.

AI for industry - Reasoning and Decision Making

The course is for professionals in the industry and public organizations who have knowledge in engineering and system development and want to gain deepened knowledge in AI.

Time and registration

Please contact Juan Carlos Nieves for more information!

About the course

One branch of artificial intelligence (AI) is commonly referred to as Knowledge Representation and Reasoning (KRR). Within this field, methods for solving difficult search problems have been developed. One such approach is called Answer Set Programming (ASP) and has been identified as a significant contribution to the research field of AI. ASP has been successfully applied for solving problems in domains such as bioinformatics, scheduling, timetabling, dynamic reconfiguration, and software engineering.

Semantic-based technology

Semantic-based technology (or only semantic technology) is another KRR consolidated technology that aims to give meaning to the disparate and raw data that surrounds us. The main standards that Semantic Technology builds on are the RDF (Resource Description Framework), SPARQL (SPARQL Protocol and RDF Query Language), and, optionally, OWL (Web Ontology Language).

During this course, we will show how to use ASP and semantic technology for the fast prototyping of intelligent systems that need to deal with autonomous decision-making processes.

Expected Learning Outcomes

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

  • Know basic principles of Answer Set Programming and semantic technology to be able to describe and apply symbolic reasoning methods.
  • Use both answer sets and semantic web solvers for modeling and implementing 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.

AI Competence for Sweden

Umeå University is one of ten universities that are part of the governmental initiative AI Competence for Sweden, aimed at raising the knowledge about AI in society and build a national platform for education and research.