Declarative Problem Solving with Answer Set Programming, Short Course | Part time online | Örebro University | Sweden
Studyportals
Short Online

Declarative Problem Solving with Answer Set Programming

3 days
Duration
Unknown
Tuition fee
Unknown
Unknown
Apply date
Unknown
Start date

About

Answer Set Programming (ASP) is a declarative programming paradigm designed within the field of Artificial Intelligence (AI), and used to solve complex search-problems. The Declarative Problem Solving with Answer Set Programming course offered by Örebro University focuses on formalizing and solving various search problems in planning, scheduling and system configuration in ASP.

Overview

Course Objectives

Knowledge and understanding

At the end of the Declarative Problem Solving with Answer Set Programming course offered by Örebro University , the student will:

  • know about the major principles in logic and different standard approaches in logic programming
  • have a better understanding of constraint programming using the stable model or answer set semantics

Applied knowledge and skills

Completing this course, the student will be able to:

  • model and formalize different problems such as optimization problems in a declarative way
  • demonstrate their skills in modeling hybrid solutions based on answer set programming
  • use answer set solvers for modeling and implementing of intelligent systems

Making judgments and attitudes

Completing this course, the student will be able to:

  • judge the suitability of symbolic reasoning methods for a given problem
  • identify problems or misleading results by evaluating the usage of the logical operators, constraints and different types of logical negations used in a given logic program.

Programme Structure

The program focuses on:

  • Review of First Order Logic
  • Syntax and Semantics of Answer Set Programming
  • ASP Solving Process
  • Optimization
  • Multishot Solving
  • Incremental Solving Process

Key information

Duration

  • Part-time
    • 3 days

Start dates & application deadlines

Language

English

Credits

3 ECTS

Delivered

Online

Academic requirements

We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.

English requirements

We are not aware of any English requirements for this programme.

Other requirements

General requirements

  • At least 180 credits including 15 credits programming as well as qualifications corresponding to the course "English 5"/"English A" from the Swedish Upper Secondary School.

Tuition Fee

Funding

Other interesting programmes for you

Our partners

Declarative Problem Solving with Answer Set Programming
Örebro University
Declarative Problem Solving with Answer Set Programming
-
Örebro University

Wishlist

Go to your profile page to get personalised recommendations!