<?xml version="1.0" encoding="iso-8859-1"?>
<educationInfo xmlns="http://www.sis.se/ss10700/EMIL2.01" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sis.se/ss10700/EMIL2.01 EMIL2.xsd">
<identifier>i.uoh.oru.V5130.20201</identifier>
<code>DT703A</code>
<lastEdited>2026-06-21T05:16:01</lastEdited>
<expires>2026-06-20</expires>
<title>
<string lang="swe">Answer set programmering</string>
<string lang="eng">Answer Set Programming</string>
</title>
<description>
<string lang="swe">Answer Set Programming (ASP) är ett tillvägagångssätt utvecklat inom området för konstgjord intelligens (AI) för att lösa komplexa sökproblem. ASP utvecklades ursprungligen för modelleringsproblem inom området kunskapsrepresentation och resonemang (KRR), och har identifierats som ett betydande bidrag inom AI forskningsområde. På senare tid har ASP blivit mycket attraktivt för att representera och lösa sökproblem både för akademin och industrin. I samarbete med Umeå universitet erbjuder Örebro universitet en introduktionskurs i ASP. På kursen diskuteras grundläggande principer för logik- och villkorsprogrammering. Den studerande ska efter avslutad kurs kunna tillämpa en lämplig symbolisk resonemangsmetod utifrån answer set-tekniken för att lösa problem i intelligenta system inklusive komplexa sökproblem i planering, schemaläggning och dynamisk systemkonfiguration.
Kursen har tre obligatoriska halvdagsträffar på Örebro universitet.</string>
<string lang="eng">Answer Set Programming (ASP) is an approach developed within the field of artificial intelligence (AI) for solving complex 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. In collaboration with Umeå University, Örebro University offers an introductory course in ASP. The course also focuses on formalizing and solving various problems within the framework of a declarative programming paradigm. After completing the course, the student should be able to apply an appropriate symbolic reasoning method based on the answer set technique to solve problems in intelligent systems including complex search problems in planning, scheduling and system configuration.
The course includes three compulsory meetings (half day) at Örebro University.</string>
</description>
<form code="högskoleutbildning" xsi:type="C_OrganisationForm" />
<educationLevel code="avancerad" xsi:type="UH_EducationLevel" />
<configuration code="kurs" xsi:type="C_Configuration" />
<subject code="392" xsi:type="UH_Subject" />
<subject code="546" xsi:type="UH_Subject" />
<subject code="595" xsi:type="UH_Subject" />
<resultIsDegree>false</resultIsDegree>
<credits>
<system code="hp" xsi:type="C_Credits" />
<credits>3</credits>
</credits>
<eligibility>
<eligibilityDescription>
<string lang="swe">180 högskolepoäng varav 15 högskolepoäng programmering samt Engelska 5/Engelska A. Dessutom krävs 18 månaders arbetslivserfarenhet på heltid.</string>
<string lang="eng">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. The applicant must also have 18 months full time work experience.</string>
</eligibilityDescription>
</eligibility>
<recommendedPriorKnowledge>
<string lang="swe">uh</string>
</recommendedPriorKnowledge>
<eligibleForStudentAid xsi:type="C_StudentAid" code="ja" />
</educationInfo>