Foundations of Logic Programming

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Foundations of Logic Programming

Lehrveranstaltung mit SWS 2/0/0 (Vorlesung/Übung/Praktikum) in WS 2020

Dozent

Umfang (SWS)

  • 2/0/0

Module

Leistungskontrolle

  • Mündliche Prüfung


Description

Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming (ASP).

Schedule and Location

During the winter term 2020/21, the lecture will be virtual.

All dates are published on this page (see Dates & Materials above)

  • The weekly lecture sessions will be prerecorded as video and uploaded here ahead of the corresponding Monday.
  • Krzysztof R. Apt. From Logic Programming to Prolog. Prentice Hall 1997.
  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub. Answer Set Solving in Practice. Morgan and Claypool 2012.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS6, 26. Oktober 2020 in Asynchronous Download
Video
Vorlesung Unification DS6, 2. November 2020 in Asynchronous Download
Video
Vorlesung Procedural Interpretation DS6, 9. November 2020 in Asynchronous Download
Video
Vorlesung Pure Prolog DS6, 16. November 2020 in Asynchronous Download
Video
Vorlesung Negation: Procedural Interpretation DS6, 23. November 2020 in Asynchronous Download
Video
Vorlesung Declarative Interpretation I DS6, 30. November 2020 in Asynchronous Download
Video
Vorlesung Declarative Interpretation II DS6, 7. Dezember 2020 in Asynchronous
Video
Vorlesung Negation: Declarative Interpretation DS6, 14. Dezember 2020 in Asynchronous Download
Video
Vorlesung Termination DS6, 4. Januar 2021 in Asynchronous Download
Video
Vorlesung ASP: Introduction DS6, 11. Januar 2021 in Asynchronous Download
Video
Vorlesung ASP: Stable Models DS6, 18. Januar 2021 in Asynchronous Download
Video
Vorlesung ASP: Solving DS6, 25. Januar 2021 in Asynchronous Download
Video
Vorlesung Q&A DS6, 1. Februar 2021 in Zoom


Kalender