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 2017

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.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Recap Description Logics DS6, 5. April 2017 in APB E005 Download
Vorlesung Tableau I DS6, 12. April 2017 in APB E005 Download
Vorlesung Tableau II DS6, 26. April 2017 in APB E005 Download
Übung Tableau DS6, 3. Mai 2017 in APB E005 Download
Vorlesung Optimizations for Tableau DS6, 10. Mai 2017 in APB E005 Download
Übung OWL Modeling and Reasoning using Protege and HermiT DS6, 24. Mai 2017 in APB E005 Download Download
Vorlesung ASP Solving I DS6, 31. Mai 2017 in APB E005 Download
Vorlesung ASP Solving II DS6, 14. Juni 2017 in APB E005 Download
Übung ASP Solving DS6, 21. Juni 2017 in APB E005 Download
Übung ASP Tools DS6, 28. Juni 2017 in APB E005
Vorlesung Q&A DS6, 5. Juli 2017 in APB E005


Kalender

Lade …