Deduction Systems

Aus International Center for Computational Logic
Version vom 2. April 2019, 11:11 Uhr von Lukas Schweizer (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Deduction Systems |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Lukas Schweizer |Term=SS |Year=2019 |Module=MCL-I…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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


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

April 2025

MoDiMiDoFrSaSo
31123456
78910111213
14151617181920
21222324252627
2829301234
567891011