TU Wien:Deductive Databases VO (Simkus)
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Mantas Simkus |
|---|---|
| ECTS | 3,0 |
| Ersetzt | Deduktive Datenbanken VO (Woltran) |
| Letzte Abhaltung | 2023W |
| Sprache | English |
| Mattermost | deductive-databases • Register • Mattermost-Infos |
| Links | tiss:192067 |
Inhalt[Bearbeiten | Quelltext bearbeiten]
- Propositional Logic, Quantified Propositional Logic (Quantified Boolean Formulas)
- Computational Complexity (Complexity Classes, Reduction, etc.)
- Datalog, Definite Horn Programs
- Answer Set Programming, Disjunctive Answer Set Programming
- Connection of ASP and QBF
- Well-founded Semantics
- Description Logics (DL)
- OWL, Ontologies
- Combining DL and Rule-based Languages (e.g. Datalog)
- dl-Programs
Ablauf[Bearbeiten | Quelltext bearbeiten]
(WS 2021/22): same as previous WS.
(WS 2020/21, Corona): Slides were available right from the beginning (in total <=300 slides of actual content). Each week new pre-recorded videos were uploaded in which the lecturer went through the slides (very detailed) and explained them. In addition, there was a time slot each week where people were able to ask additional questions via Zoom. This time slot was determined by a poll/individual preferences, so the lecturer was very flexible and tried to find a slot which was alright for all participants. The lectures were finished shortly before christmas. Before the exam, additional slots were scheduled for questions which might have come up during preparation.
Written exam at the end of January (again considering preferences of the students) + an additional exam slot in April (again by preference). The exam was done via Zoom: You had to be in a Zoom-Call with your camera turned on, the exam sheet was provided in Tuwel to print out. Afterwards you upload your solution back to tuwel. During the exam, you have full access to the slides, either printed out or on your screen, if you have a setup where the screen you are working on is visible to the camera.
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
The lecture has a lot of overlap with some other "logic" lectures, especially TU_Wien:Einführung_in_wissensbasierte_Systeme_VU_(Egly). Also Logik für Wissensrepräsentation VO covers some of the topics.
In general, some logic oriented knowledge is helpful to grasp the concepts even quicker, but the lecturer explains everything really in detail if you are unfamiliar with it.
Vortrag[Bearbeiten | Quelltext bearbeiten]
Slides were available right from the beginning (in total <=300 slides of actual content). Each week new pre-recorded videos were uploaded in which the lecturer went through the slides (very detailed) and explained them. In addition, there was a time slot each week where people were able to ask additional questions via Zoom. This time slot was determined by a poll/individual preferences, so the lecturer was very flexible and tried to find a slot which was alright for all participants. The lectures were finished shortly before christmas. The explanation in the videos is very detailed but can be conveniently watched with increased speed (1.5 - 1.8).
Übungen[Bearbeiten | Quelltext bearbeiten]
The slides contain some examples which are similar to the ones given in the exam. In between are a few voluntary exercises (do not count towards a grade), afterwards the lecturer presents and discusses the solutions. No mandatory exercises, grade is only determined by the exam.
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
(WS 2021/22): No surprises in the exam, exercises similar to what has been discussed already in lecture. Grading is perfectly fair.
(WS 2020/21) The written exam is very practical and consists of exercises similar to such as are presented and discussed in the lecture. For the exam you can use the lecture slides. Shortly before the exam the lecturer wrote the kinds of exercises we could expect in the exam into the Tuwel forum.
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
(WS 2021/22): Exam results within 1 week. Certificate took about 1 month.
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
(WS 2021/22): 2-3 hours each week to listen to pre-recorded lecture and try to understand the material. A couple of days (maybe total of ~12hrs) of reviewing for exam were enough to not need to refer to the slides at all during exam. Maybe a bit more time needed if you haven't taken KBS before, however it is pretty doable and fair for the ECTS you get.
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
(WS 2021/22): If you have taken KBS before, most topics should be already covered ==> easy 3 ECTS. But also if you take this course first, will give some pretty good idea if you take KBS later.
Highlights / Lob[Bearbeiten | Quelltext bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen