621.315 (20W) Logic Programming
Overview
For further information regarding teaching on campus, please visit: https://www.aau.at/en/corona.
- Lecturer
- Course title german Logische Programmierung
- Type Lecture - Course (continuous assessment course )
- Course model Online course
- Hours per Week 2.0
- ECTS credits 3.0
- Registrations 36 (25 max.)
- Organisational unit
- Language of instruction Englisch
- possible language(s) of the assessment German , English
- Course begins on 07.10.2020
- eLearning Go to Moodle course
-
Remarks (english)
In view of restrictions of presence teaching due to COVID-19, the course will be held online via streaming (Microsoft Teams).
- Seniorstudium Liberale Yes
Time and place
Course Information
Intended learning outcomes
The course introduces the theoretical background and practical application of Answer Set Programming (ASP), a popular logic programming language used for knowledge representation and reasoning.
Teaching methodology including the use of eLearning tools
Classroom instructions mixed with practical exercises. The teaching language is English. (Exercises and the exam may also be answered in German.)
Course content
- Logic programming
- Answer set programming
- Knowledge representation and reasoning
- Combinatorial search and optimization
Prior knowledge expected
Basic understanding of algorithms and data structures. A course in logic is a plus.
Literature
- Brewka, G., Eiter, T., Truszczynski, M.: Answer Set Programming at a Glance. Communications of the ACM 54(2): 92–103, 2011.
- Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012.
- Lifschitz, V.: Answer Set Programming. Springer, 2019.
- Eiter, T., Ianni, G., Krennwallner, T.: Answer Set Programming: A Primer. Reasoning Web – Semantics Technologies for Intelligent Systems: 40–110, Springer, 2009.
- Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic 7(3): 499–562, 2006.
Examination information
Examination methodology
written exam (60%), exercise sheets (20%), practical assignments (20%), short tests (bonus), active participation (bonus)
Examination topic(s)
theoretical and practical aspects of Answer Set Programming
Assessment criteria / Standards of assessment for examinations
correctness and comprehensiveness of supplied solutions to theoretical and practical tasks
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 19W.2)
-
Subject: Grundlagen der Softwareentwicklung
(Compulsory subject)
-
2.5 Logische Programmierung (
2.0h VC / 3.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 3.0 ECTS) Absolvierung im 5. Semester empfohlen
-
2.5 Logische Programmierung (
2.0h VC / 3.0 ECTS)
-
Subject: Grundlagen der Softwareentwicklung
(Compulsory subject)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 17W.1)
-
Subject: Grundlagen der Softwareentwicklung
(Compulsory subject)
-
2.6 Logische Programmierung (
2.0h VC / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS) Absolvierung im 4. Semester empfohlen
-
2.6 Logische Programmierung (
2.0h VC / 4.0 ECTS)
-
Subject: Grundlagen der Softwareentwicklung
(Compulsory subject)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Principles of Software Development
(Compulsory subject)
-
Logik und logische Programmierung (
2.0h UE / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS) Absolvierung im 4. Semester empfohlen
-
Logik und logische Programmierung (
2.0h UE / 4.0 ECTS)
-
Subject: Principles of Software Development
(Compulsory subject)
- Bachelor's degree programme Management Information Systems
(SKZ: 522, Version: 20W.2)
-
Subject: Spezialisierung Angewandte Informatik
(Compulsory elective)
-
9.7 Logische Programmierung (
0.0h VC / 3.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 3.0 ECTS) Absolvierung im 5. Semester empfohlen
-
9.7 Logische Programmierung (
0.0h VC / 3.0 ECTS)
-
Subject: Spezialisierung Angewandte Informatik
(Compulsory elective)
- Bachelor's degree programme Management Information Systems
(SKZ: 522, Version: 20W.2)
-
Subject: Vertiefung Angewandte Informatik
(Compulsory elective)
-
11.7 Vertiefung Angewandte Informatik (
0.0h VO, VC, UE / 8.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 3.0 ECTS) Absolvierung im 5., 6. Semester empfohlen
-
11.7 Vertiefung Angewandte Informatik (
0.0h VO, VC, UE / 8.0 ECTS)
-
Subject: Vertiefung Angewandte Informatik
(Compulsory elective)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Subject: Informatik
(Compulsory elective)
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2., 3., 4., 5., 6. Semester empfohlen
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
-
Subject: Informatik
(Compulsory elective)
- Erweiterungscurriculum Grundlagen der Informatik
(Version: 16W.1)
-
Subject: Erweiterung Wissensverarbeitung
(Compulsory elective)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 3.0 ECTS)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
-
Subject: Erweiterung Wissensverarbeitung
(Compulsory elective)
- Erweiterungscurriculum Vertiefung der Informatik
(Version: 16W.1)
-
Subject: Wissensverarbeitung
(Compulsory elective)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 3.0 ECTS)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
-
Subject: Wissensverarbeitung
(Compulsory elective)
Equivalent courses for counting the examination attempts
-
Sommersemester 2024
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2023/24
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2023
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2022/23
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2022
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2021/22
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2021
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2020
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2019/20
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2019
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2018/19
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2018
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2017/18
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
- Sommersemester 2017
-
Wintersemester 2016/17
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2016
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2015/16
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
- Sommersemester 2015