Deduction Systems

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

Deduction Systems

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

Dozent

Tutor

Umfang (SWS)

  • 1/1/0

Module

Leistungskontrolle

  • Klausur

Vorlesungsreihe


Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.
Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction to Description Logics DS5, 8. April 2019 in APB E005 Datei
Übung Tutorial: Description Logics DS5, 15. April 2019 in APB E005 Datei
Vorlesung Tableau I DS5, 29. April 2019 in APB E005 Datei
Vorlesung Tableau II DS5, 6. Mai 2019 in APB E005 Datei
Übung Tutorial: Tableau I&II DS5, 13. Mai 2019 in APB E005 Datei
Vorlesung Tableau Optimizations DS5, 20. Mai 2019 in APB E005 Datei
Übung Tutorial: Hands-On Tools DS5, 27. Mai 2019 in APB E005 Datei 1 Datei 2
Vorlesung Introduction to Answer-Set Programming DS5, 3. Juni 2019 in APB E005 Datei
Übung Tutorial: Hands-On ASP Tools DS5, 17. Juni 2019 in APB E005
Vorlesung ASP Solving I DS5, 24. Juni 2019 in APB E005 Datei
Übung Tutorial: ASP Solving DS5, 1. Juli 2019 in APB E005 Datei
Vorlesung ASP Solving II and Q&A DS5, 8. Juli 2019 in APB E005


Kalender