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 2016

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, 6. April 2016 in APB E005 Download
Vorlesung Tableau Algorithm I DS6, 13. April 2016 in APB E005 Download
Vorlesung Tableau Algorithm II DS6, 20. April 2016 in APB E005 Download
Übung Tutorial: Tableau DS6, 4. Mai 2016 in APB E005 Download
Vorlesung Optimizations for Tableau DS6, 11. Mai 2016 in APB E005 Download
Übung Tutorial: Optimizations DS6, 25. Mai 2016 in APB E005 Download
Übung OWL Modeling and Reasoning using Protege and HermiT DS6, 8. Juni 2016 in APB E005 Download Download
Vorlesung ASP Solving I DS6, 15. Juni 2016 in APB E005 Download Download
Vorlesung ASP Solving II DS6, 22. Juni 2016 in APB E005
Übung Tutorial: ASP Solving DS6, 29. Juni 2016 in APB 2026 Download
Übung Question and Answer Session DS6, 6. Juli 2016 in APB E005


Kalender

Lade …