FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
DATALOGMTL ON SUNDAY, JULY 31ST

View: session overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1C: DatalogMTL tutorial, part 1/2

Tutorial on DatalogMTL (https://datalogmtl.github.io/), part 1/2: motivations, introduction to DatalogMTL, and explanation of reasoning techniques.

Location: Ullmann 300
09:00
DatalogMTL

ABSTRACT. The first part of the DatalogMTL tutorial.

10:30-11:00Coffee Break
11:00-12:30 Session 10C: DatalogMTL tutorial, part 2/2

Tutorial on DatalogMTL (https://datalogmtl.github.io/), part 2/2: reasoning systems (MeTeoR and Ontop), demos, and conclusions.

Location: Ullmann 300
11:00
DatalogMTL

ABSTRACT. The second part of the DatalogMTL tutorial.

12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

15:30-16:00Coffee Break