Introduction to Existential Rules

From International Center for Computational Logic

Introduction to Existential Rules

Course with SWS 2/2/0 (lecture/exercise/practical) in SS 2024

Lecturer

SWS

  • 2/2/0

Modules

Examination method

  • Oral exam



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.

Subscribe to events of this course (icalendar)

Lecture Lecture 1 DS3, April 8, 2024 in APB E005 File
Exercise Tutorial 1 DS2, April 15, 2024 in APB E005
Lecture Lecture 2 DS3, April 15, 2024 in APB E005 File
Exercise Tutorial 2 DS2, April 22, 2024 in APB E005
Lecture Lecture 3 DS3, April 22, 2024 in APB E005 File
Exercise Tutorial 3 DS2, April 29, 2024 in APB E005
Lecture Lecture 4 DS3, April 29, 2024 in APB E005 File
Exercise Tutorial 4 DS2, May 27, 2024 in APB E005
Lecture Lecture 5 DS3, May 27, 2024 in APB E005 File
Exercise Tutorial 5 DS2, June 3, 2024 in APB E005
Lecture Lecture 6 DS3, June 3, 2024 in APB E005 File
Exercise Tutorial 6 DS2, June 17, 2024 in APB E005
Lecture Lecture 7 DS3, June 17, 2024 in APB E005 File
Exercise Tutorial 7 DS2, June 24, 2024 in APB E005
Lecture Lecture 8 DS3, June 24, 2024 in APB E005 File
Exercise Tutorial 8 DS2, July 1, 2024 in APB E005
Lecture Lecture 9 DS3, July 1, 2024 in APB E005 File
Exercise Q&A Session DS2, July 8, 2024 in APB E005


Calendar