Introduction to Existential Rules
Introduction to Existential Rules
Course with SWS 2/0/0 (lecture/exercise/practical) in SS 2023
Lecturer
SWS
- 2/0/0
Modules
Examination method
- Oral exam
The lecture on Monday the 3rd of July cannot happen in presence. Please watch the provided video instead. Corresponding questions will be answered in the lecture on the 10th of June.
Existential Rules are a knowledge representation formalism used in artificial intelligence and database theory. Their syntactic flexibility enables an easy integration of both semantic knowledge and databases. Syntactically close to Datalog rules, an important distinguishing feature is the possibility to describe individuals whose existence was not originally known, which is of great help for modeling purposes. In this lecture, we will provide a formal introduction into the existential rules framework, discuss existing techniques to reason over decidable fragments of this language and investigate the limits of the expressivity of existential rules.
Prerequisites
- basic knowledge of propositional and first-order logic
- some familiarity with computational complexity
Organisation
The first lecture will be on Monday, 17th April 2023, 9:20-10:50 (DS 2) in room APB E005.
The lecture is scheduled for Mondays, 9:20-10:50 (DS 2) in room APB E005 on the dates indicated in the schedule.Subscribe to events of this course (icalendar)
| Lecture | Lecture 1 | DS2, April 17, 2023 in APB E005 | File |
| Lecture | Lecture 2 | DS2, April 24, 2023 in APB E005 | File |
| No session | 1st of May (bank holiday) | DS2, May 1, 2023 in APB E005 | |
| Lecture | Lecture 3 | DS2, May 8, 2023 in APB E005 | File |
| Lecture | Lecture 4 | DS2, May 15, 2023 in APB E005 | File |
| Lecture | Lecture 5 | DS2, May 22, 2023 in APB E005 | File |
| No session | Pentecost Monday (bank holiday) | DS2, May 29, 2023 in APB E005 | |
| Lecture | Lecture 6 | DS2, June 5, 2023 in APB E005 | File |
| Lecture | Lecture 7 | DS2, June 19, 2023 in APB E005 | File |
| Lecture | Lecture 8 (asynchronous) | DS2, July 3, 2023 in APB E005 | File |
| Video | |||
| Lecture | Lecture 9 | DS2, July 10, 2023 in APB E005 | File |
Calendar
