621.315 (20W) Logische Programmierung

Wintersemester 2020/21

Anmeldefrist abgelaufen.

Erster Termin der LV
07.10.2020 14:00 - 16:00 , online Off Campus
Nächster Termin:
02.12.2020 14:00 - 16:00 , online Off Campus

Ü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
36 (25 max.)
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Deutsch , Englisch
LV-Beginn
07.10.2020
eLearning
zum Moodle-Kurs
Anmerkungen

Angesichts von Einschränkungen der Präsenzlehre aufgrund COVID-19 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

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/Grade Benotungsschema

Position im Curriculum

  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.1)
    • 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 / 4.0 ECTS)
          Absolvierung im 4. Semester empfohlen
  • Bachelorstudium Wirtschaftsinformatik (SKZ: 522, Version: 20W.1)
    • 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.1)
    • 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 / 4.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 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
  • 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)