621.315 (21W) Logic Programming

Wintersemester 2021/22

Registration deadline has expired.

First course session
11.10.2021 08:00 - 10:00 HS 2 On Campus
... no further dates known

Overview

Due to the COVID-19 pandemic, it may be necessary to make changes to courses and examinations at short notice (e.g. cancellation of attendance-based courses and switching to online examinations).

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 Attendance-based course
Hours per Week 2.0
ECTS credits 3.0
Registrations 28 (30 max.)
Organisational unit
Language of instruction English
possible language(s) of the assessment German , English
Course begins on 11.10.2021
eLearning Go to Moodle course
Remarks (english)

In case of lasting COVID-19 restrictions of presence teaching, the course may take place online via streaming (AAU Classroom or Microsoft Teams).

Seniorstudium Liberale Yes

Time and place

Please note that the currently displayed dates may be subject to change due to COVID-19 measures.
List of events is loading...

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

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

  1. Brewka, G., Eiter, T., Truszczynski, M.: Answer Set Programming at a Glance. Communications of the ACM 54(2): 92–103, 2011.
  2. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012.
  3. Lifschitz, V.: Answer Set Programming. Springer, 2019.
  4. Eiter, T., Ianni, G., Krennwallner, T.: Answer Set Programming: A Primer. Reasoning Web – Semantics Technologies for Intelligent Systems: 40–110, Springer, 2009.
  5. 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

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

Modified examination information (exceptional COVID-19 provisions)

The written exam will be held in presence at the end of the lecture period, if the COVID-19 situation has sufficiently improved by then, or a virtual exam will be organized otherwise.

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 scheme

Position 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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)

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)
Sommersemester 2021
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Wintersemester 2020/21
  • 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
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
  • 621.316 VC Logische Programmierung (2.0h / 4.0ECTS)
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
  • 621.315 VK Logische Programmierung (2.0h / 4.0ECTS)
  • 621.316 VK Logische Programmierung (2.0h / 4.0ECTS)