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
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 Download
Übung Question and Answer Session DS4, 16. Juli 2015 in APB E005


Kalender

Lade …