Introduction to Existential Rules

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Introduction to Existential Rules

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2024

Dozent

Umfang (SWS)

  • 2/2/0

Module

Leistungskontrolle

  • Mündliche Prüfung



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, 8th April 2023, 11:10-12:40 (DS 3) in room APB E005. The first tutorial will be on Monday, 15th April 2023, 9:20-10:50 (DS 2) in room APB E005.

Tutorials and lectures take place on Mondays, 9:20-10:50 (DS 2) and 11:10-12:40 (DS 3), respectively, in room APB E005 on the dates indicated in the schedule.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Lecture 1 DS3, 8. April 2024 in APB E005 Datei
Übung Tutorial 1 DS2, 15. April 2024 in APB E005
Vorlesung Lecture 2 DS3, 15. April 2024 in APB E005 Datei
Übung Tutorial 2 DS2, 22. April 2024 in APB E005
Vorlesung Lecture 3 DS3, 22. April 2024 in APB E005 Datei
Übung Tutorial 3 DS2, 29. April 2024 in APB E005
Vorlesung Lecture 4 DS3, 29. April 2024 in APB E005 Datei
Übung Tutorial 4 DS2, 27. Mai 2024 in APB E005
Vorlesung Lecture 5 DS3, 27. Mai 2024 in APB E005 Datei
Übung Tutorial 5 DS2, 3. Juni 2024 in APB E005
Vorlesung Lecture 6 DS3, 3. Juni 2024 in APB E005 Datei
Übung Tutorial 6 DS2, 17. Juni 2024 in APB E005
Vorlesung Lecture 7 DS3, 17. Juni 2024 in APB E005 Datei
Übung Tutorial 7 DS2, 24. Juni 2024 in APB E005
Vorlesung Lecture 8 DS3, 24. Juni 2024 in APB E005 Datei
Übung Tutorial 8 DS2, 1. Juli 2024 in APB E005
Vorlesung Lecture 9 DS3, 1. Juli 2024 in APB E005 Datei
Übung Q&A Session DS2, 8. Juli 2024 in APB E005


Kalender