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 2018

Dozent

Tutor

Umfang (SWS)

  • 1/1/0

Module

Leistungskontrolle

  • Mündliche Prüfung
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 (1) DS3, 9. April 2018 in APB E005 Download
Vorlesung Introduction to Description Logics (2) DS3, 16. April 2018 in APB E005
Übung Tutorial: Description Logics DS3, 23. April 2018 in APB E005 Download
Vorlesung Tableau (1) DS3, 30. April 2018 in APB E005 Download
Übung Tableau (1) DS3, 7. Mai 2018 in APB E005 Download
Vorlesung Tableau (2) DS3, 14. Mai 2018 in APB E005 Download
Übung Tableau (2) DS3, 28. Mai 2018 in APB E005
Vorlesung Tableau Optimizations DS3, 4. Juni 2018 in APB E005 Download
Übung Hands-On Tools DS3, 11. Juni 2018 in APB E005 Download Download
Vorlesung Introduction to Answer-Set Programming DS3, 18. Juni 2018 in APB E005 Download
Übung Hands-On Answer-Set Programming Tools DS3, 25. Juni 2018 in APB E005
Vorlesung ASP Solving DS3, 2. Juli 2018 in APB E005 Download
Vorlesung QA Session DS3, 9. Juli 2018 in APB E005
Übung ASP Solving & QA Session DS3, 16. Juli 2018 in APB E005 Download


Kalender