4.1 Read 8 reviews
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
- StartingApply anytime.
Language
English
Credits
3 ECTS
Delivered
Online
Disciplines
Computer Sciences View 5 other Short Courses in Computer Sciences in SwedenAcademic 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
Improve page content