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 2016

Dozent

Tutor

Umfang (SWS)

  • 2/1/0

Module

Leistungskontrolle

  • Klausur

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

Organisation

The first lecture will be on Wednesday, 12th October 2015, 11:10-12:40 (DS 3) in room APB E005. The lecture is scheduled for Wednesdays, 11:10-12:40 (DS 3) in room APB E005. The tutorial will be held biweekly on Friday, 16:40-18:10 (DS6) in room APB E005.

Please check the particular dates of lectures and tutorials.
  • 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 DS3, 12. Oktober 2016 in APB E005 Download
Vorlesung Unification DS3, 19. Oktober 2016 in APB E005 Download
Übung Tutorial DS6, 21. Oktober 2016 in APB E005 Download
Vorlesung Procedural Interpretation DS3, 26. Oktober 2016 in APB E005 Download
Vorlesung Pure Prolog DS3, 2. November 2016 in APB E005 Download
Übung Tutorial DS6, 4. November 2016 in APB E005 Download
Vorlesung Negation: Procedural Interpretation DS3, 9. November 2016 in APB E005 Download
Vorlesung Declarative Interpretation I DS3, 23. November 2016 in APB E005 Download
Vorlesung Declarative Interpretation II DS3, 30. November 2016 in APB E005
Übung Tutorial DS6, 2. Dezember 2016 in APB E005 Download
Vorlesung Negation: Declarative Interpretation DS3, 7. Dezember 2016 in APB E005 Download
Übung Tutorial DS6, 9. Dezember 2016 in APB E005 Download
Vorlesung Termination DS3, 14. Dezember 2016 in APB E005 Download
Vorlesung Termination DS3, 4. Januar 2017 in APB E005
Übung Tutorial DS5, 6. Januar 2017 in APB E005 Download
Vorlesung Introduction to ASP DS3, 11. Januar 2017 in APB E005 Download
Vorlesung Stable Model Semantics DS3, 18. Januar 2017 in APB E005 Download
Übung Tutorial DS5, 20. Januar 2017 in APB E005 Download
Vorlesung Solving DS3, 25. Januar 2017 in APB E005 Download
Vorlesung Q&A Session DS3, 1. Februar 2017 in APB E005
Übung Tutorial and Q&A Session DS5, 3. Februar 2017 in APB E005 Download


Kalender

Lade …