621.315 (21S) Logische Programmierung

Sommersemester 2021

Anmeldefrist abgelaufen.

Erster Termin der LV
03.03.2021 12:00 - 14:00 online Off Campus
... keine weiteren Termine bekannt

Überblick

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.

Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
Lehrende/r
LV-Titel englisch Logic Programming
LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
LV-Modell Onlinelehrveranstaltung
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 3.0
Anmeldungen 29 (25 max.)
Organisationseinheit
Unterrichtssprache Englisch
mögliche Sprache/n der Leistungserbringung Deutsch , Englisch
LV-Beginn 03.03.2021
eLearning zum Moodle-Kurs
Anmerkungen

Aufgrund von COVID-19 Einschränkungen der Präsenzlehre findet der Kurs als Online-Lehrveranstaltung über Streaming (Microsoft Teams) statt.

Seniorstudium Liberale Ja

Zeit und Ort

Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

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.

Lehrmethodik inkl. Einsatz von eLearning-Tools

Classroom instructions mixed with practical exercises. The teaching language is English. (Exercises and the exam may also be answered in German.)

Inhalt/e

  • Logic programming
  • Answer set programming
  • Knowledge representation and reasoning
  • Combinatorial search and optimization

Erwartete Vorkenntnisse

Basic understanding of algorithms and data structures. A course in logic is a plus.

Literatur

  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.

Prüfungsinformationen

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.

Geänderte Prüfungsinformationen (COVID-19 Ausnahmeregelung)

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.

Prüfungsmethode/n

written exam (60%), exercise sheets (20%), practical assignments (20%), short tests (bonus), active participation (bonus)

Prüfungsinhalt/e

theoretical and practical aspects of Answer Set Programming

Beurteilungskriterien/-maßstäbe

correctness and comprehensiveness of supplied solutions to theoretical and practical tasks

Beurteilungsschema

Note Benotungsschema

Position im Curriculum

  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.2)
    • Fach: Grundlagen der Softwareentwicklung (Pflichtfach)
      • 2.5 Logische Programmierung ( 2.0h VC / 3.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
          Absolvierung im 5. Semester empfohlen
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 17W.1)
    • Fach: Grundlagen der Softwareentwicklung (Pflichtfach)
      • 2.6 Logische Programmierung ( 2.0h VC / 4.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 4.0 ECTS)
          Absolvierung im 4. Semester empfohlen
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 12W.1)
    • Fach: Grundlagen der Softwareentwicklung (Pflichtfach)
      • Logik und logische Programmierung ( 2.0h UE / 4.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
          Absolvierung im 4. Semester empfohlen
  • Bachelorstudium Wirtschaftsinformatik (SKZ: 522, Version: 20W.2)
    • Fach: Spezialisierung Angewandte Informatik (Wahlfach)
      • 9.7 Logische Programmierung ( 0.0h VC / 3.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
          Absolvierung im 5. Semester empfohlen
  • Bachelorstudium Wirtschaftsinformatik (SKZ: 522, Version: 20W.2)
    • Fach: Vertiefung Angewandte Informatik (Wahlfach)
      • 11.7 Vertiefung Angewandte Informatik ( 0.0h VO, VC, UE / 8.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
          Absolvierung im 5., 6. Semester empfohlen
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 17W.1)
    • Fach: Informatik (Wahlfach)
      • 13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" ( 0.0h XX / 12.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
          Absolvierung im 1., 2., 3., 4., 5., 6. Semester empfohlen
  • Erweiterungscurriculum Grundlagen der Informatik (Version: 16W.1)
    • Fach: Erweiterung Wissensverarbeitung (Wahlfach)
      • Logik und logische Programmierung ( 0.0h UE / 4.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
  • Erweiterungscurriculum Vertiefung der Informatik (Version: 16W.1)
    • Fach: Wissensverarbeitung (Wahlfach)
      • Logik und logische Programmierung ( 0.0h UE / 4.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

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