RW 2019

The 15th Reasoning Web Summer School

20-24 September 2019 - Bolzano, Italy

Program

Overview

Fr 20 Sa 21 Su 22 Mo 23 Tu 24
08:30speaker
Classical Algorithms for Reasoning and Explanation in Description Logics		speaker
Formal Concept Analysis		speaker
Modest Markov Automata Tutorial		speakerspeaker
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation		speakerspeaker
Logic-Based Learning of Answer Set Program
10:00coffee break
10:30speaker
Provenance in Databases: Principles and Applications		speaker
Formal Concept Analysis		speaker
Modest Markov Automata Tutorial		speakerspeaker
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation		speakerspeaker
Logic-Based Learning of Answer Set Programs
12:00lunch
13:30speaker
Provenance in Databases: Principles and Applications		speaker
Knowledge Representation and Rule Mining in Entity-centric Knowledge Bases		Social Event
(voluntary)
see here		speaker
Explanation-Friendly Query Answering under Uncertainty		speaker
Constraint Learning: An Appetizer
15:00coffee breakcoffee break
15:30speaker
Classical Algorithms for Reasoning and Explanation in Description Logics		speaker
Knowledge Representation and Rule Mining in Entity-centric Knowledge Bases		speaker
Explanation-Friendly Query Answering under Uncertainty		speaker
Constraint Learning: An Appetizer
17:00-breakbreak-
17:30-speaker
Hands-On Session on Provenance Computation in Relational Databases		speaker
Description Logic Hackathon		-
18:00Welcome reception
(18:00 --)
see here		Social dinner
(20:00 --)
see here		-
19:00

Full program

Friday 20

08:30 - 10:00
speaker
Classical Algorithms for Reasoning and Explanation in Description Logics
Yevgeny Kazakov
10:00 - 10:30 coffee break
10:30 - 12:00
speaker
Provenance in Databases: Principles and Applications
Pierre Senellart
12:00 - 13:30 lunch
13:30 - 15:00
speaker
Provenance in Databases: Principles and Applications
Pierre Senellart
15:00 - 15:30 coffee break
15:30 - 17:00
speaker
Classical Algorithms for Reasoning and Explanation in Description Logics
Yevgeny Kazakov
18:00 --
Welcome reception

Saturday 21

08:30 - 10:00
speaker
Formal Concept Analysis
Sebastian Rudolph
10:00 - 10:30 coffee break
10:30 - 12:00
speaker
Formal Concept Analysis
Sebastian Rudolph
12:00 - 13:30 lunch
13:30 - 15:00
speaker
Knowledge Representation and Rule Mining in Entity-centric Knowledge Bases
Fabian Suchanek
15:00 - 15:30 coffee break
15:30 - 17:00
speaker
Knowledge Representation and Rule Mining in Entity-centric Knowledge Bases
Fabian Suchanek
17:00 - 17:30 break
17:30 - 19:00
speaker
Hands-On Session on Provenance Computation in Relational Databases
Pierre Senellart

Sunday 22

08:30 - 10:00
speaker
Modest Markov Automata Tutorial
Holger Hermanns
10:00 - 10:30 coffee break
10:30 - 12:00
speaker
Modest Markov Automata Tutorial
Holger Hermanns
12:00 - 19:00
Voluntary excursion - social event
20:00 --
Social dinner

Monday 23

08:30 - 10:00
speakerspeaker
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation
Joerg Hoffmann, Daniele Magazzeni
10:00 - 10:30 coffee break
10:30 - 12:00
speakerspeaker
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation
Joerg Hoffmann, Daniele Magazzeni
12:00 - 13:30 lunch
13:30 - 15:00
speaker
Explanation-Friendly Query Answering under Uncertainty
Maria Vanina Martinez
15:00 - 15:30 coffee break
15:30 - 17:00
speaker
Explanation-Friendly Query Answering under Uncertainty
Maria Vanina Martinez
17:00 - 17:30 break
17:30 - 19:00
speaker
Description Logic Hackathon
Yevgeny Kazakov

Tuesday 24

08:30 - 10:00
speakerspeaker
Logic-Based Learning of Answer Set Programs
Alessandra Russo, Mark Law
10:00 - 10:30 coffee break
10:30 - 12:00
speakerspeaker
Logic-Based Learning of Answer Set Programs
Alessandra Russo, Mark Law
12:00 - 13:30 lunch
13:30 - 15:00
speaker
Constraint Learning: An Appetizer
Stefano Teso
15:00 - 15:30 coffee break
15:30 - 17:00
speaker
Constraint Learning: An Appetizer
Stefano Teso