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 2020

Dozent

Tutor

Umfang (SWS)

  • 1/1/0

Module

Leistungskontrolle

  • Klausur
  • Mündliche Prüfung

Vorlesungsreihe

Update

Due to the current COVID19 situation, this course will be held virtually until further notice. The content of the lecture will be made available as videos (i.e. slideshows with audio comments). The first upload will be within the first semester week (i.e. before easter). The format of the tutorials will be announced here shortly.

Students interested in participating in the lecture please register via:
https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23143514207


This is another paragraph.


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, 6. April 2020 in APB E005 Datei 1 Datei 2
Übung Tutorial: Description Logics DS5, 20. April 2020 in APB E005 Datei
Vorlesung Tableaux 1 DS5, 27. April 2020 in APB E005 Datei 1 Datei 2 Datei 3
Vorlesung Tableaux 2 DS5, 4. Mai 2020 in APB E005 Datei 1 Datei 2
Übung Tutorial: Tablaux DS5, 11. Mai 2020 in APB E005 Datei
Vorlesung Tableaux Optimizations DS5, 18. Mai 2020 in APB E005 Datei 1 Datei 2
Übung Tutorial: Tableaux II DS5, 25. Mai 2020 in APB E005
Übung Tutorial: Tableaux II Ctd. DS5, 8. Juni 2020 in APB E005
Vorlesung Answer Set Programming – Basics DS5, 15. Juni 2020 in APB E005 Datei 1 Datei 2
Übung ASP: Hands-on Tools DS5, 22. Juni 2020 in APB E005
Vorlesung Answer Set Programming – Solving (1/2) DS5, 29. Juni 2020 in APB E005 Datei 1 Datei 2
Vorlesung Answer Set Programming – Solving (2/2) DS5, 6. Juli 2020 in APB E005 Datei
Übung ASP Solving DS5, 13. Juli 2020 in APB E005 Datei


Kalender