Foundations of Logic Programming

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

Foundations of Logic Programming

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

Dozent

Tutor

Umfang (SWS)

  • 2/1/0

Module

Leistungskontrolle

  • Klausur



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).
  • 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 DS5, 14. Oktober 2019 in APB E005 Datei
Vorlesung Unification DS5, 21. Oktober 2019 in APB E005 Datei
Übung Tutorial DS5, 25. Oktober 2019 in APB E005 Datei
Vorlesung Procedural Interpretation DS5, 28. Oktober 2019 in APB E005 Datei
Vorlesung Pure Prolog DS5, 4. November 2019 in APB E005 Datei
Übung Tutorial DS5, 8. November 2019 in APB E005 Datei
Vorlesung Negation: Procedural Interpretation DS5, 11. November 2019 in APB E005 Datei
Übung Tutorial DS5, 18. November 2019 in APB E005 Datei
Vorlesung Declarative Interpretation I DS5, 25. November 2019 in APB E005 Datei
Vorlesung Declarative Interpretation II DS5, 2. Dezember 2019 in APB E005
Übung Tutorial DS5, 6. Dezember 2019 in APB E005 Datei
Vorlesung Negation: Declarative Interpretation DS5, 9. Dezember 2019 in APB E005 Datei
Vorlesung Termination DS5, 16. Dezember 2019 in APB E005 Datei
Übung Tutorial DS5, 20. Dezember 2019 in APB E005 Datei
Vorlesung ASP: Introduction DS5, 6. Januar 2020 in APB E005 Datei
Vorlesung ASP: Stable Models DS5, 13. Januar 2020 in APB E005 Datei
Übung Tutorial DS5, 17. Januar 2020 in APB E005 Datei
Vorlesung ASP: Solving DS5, 20. Januar 2020 in APB E005 Datei
Vorlesung Q&A DS5, 27. Januar 2020 in APB E005
Übung Tutorial DS5, 31. Januar 2020 in APB E005 Datei
Vorlesung Q&A DS5, 3. Februar 2020 in APB E005


Kalender