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 2015

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.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Recap Description Logics DS4, 16. April 2015 in APB E005 Download
Übung Tutorial: Description Logics DS4, 23. April 2015 in APB E005 Download
Vorlesung Tableau Algorithm I DS4, 30. April 2015 in APB E005 Download
Vorlesung Tableau Algorithm II DS4, 7. Mai 2015 in APB E005 Download
Übung Tutorial: Tableau DS4, 21. Mai 2015 in APB E005 Download
Vorlesung Optimizations for Tableau DS4, 4. Juni 2015 in APB E005 Download
Übung Tutorial: Optimizations DS4, 11. Juni 2015 in APB E005 Download
Vorlesung ASP Solving I DS4, 18. Juni 2015 in APB E005 Download
Vorlesung ASP Solving II DS4, 25. Juni 2015 in APB E005 Download
Übung Tutorial: ASP Solving DS4, 2. Juli 2015 in APB 2026 Download
Vorlesung OWL Modeling and Reasoning using Protege and HermiT DS4, 9. Juli 2015 in APB E005 Download 1 Download 2
Übung Question and Answer Session DS4, 16. Juli 2015 in APB E005


Kalender