Seminar: Advanced Topics in Knowledge Representation and Reasoning - Schedule

Preliminary

Time	Topic	Presenter
Friday, July 22, 2016
09:15-09:35	Welcome & Introduction
09:35-10:10	A1: Conflict-Driven Clause Learning	Betim Musa
10:10-10:45	B1: Datalog	Kai Preuß
10:45-11:00	Break & Poster Setup
11:00-11:45	Posters I: D1, D5, D7, E1, E2, F2
11:45-12:45	Lunch break
12:45-13:20	D1: Inexpressive DLs: The EL family	Ganindu Prabhashana
13:20-13:55	D5: Web ontology languages (OWL)	Karim Khalifa
13:55-14:30	D7: Ontology-based data access	Oliver Brunner
14:30-14:45	Break & Poster Setup
14:45-15:30	Posters II: A1, B1, C1, C3, C4
15:30-15:40	Break
15:40-16:15	E1: Knowledge and common knowledge	Hannah Stellmach
16:15-16:50	E2: Dynamic epistemic logic	Janosch Pelzer
16:50-17:30	Poster Reviews	Everyone
17:30-18:00	Discussion	Everyone
Monday, July 25, 2016
09:00-09:10	Welcome
09:10-09:45	F2: Topological information and spatial change	Lena Dietsche
09:45-10:20	C1:Cumulative logics	Mahmoud Abdelwahab
10:20-10:30	Break
10:30-11:05	C3: Argumentation-theoretic approach to default reasoning	Ralvi Isufaj
11:05-11:40	C4: Defaults and statistical information	André Biedenkapp
11:40-12:00	Discussion	Everyone

For each topic, we reserved a slot of 35 minutes, out of which

25 minutes are intended for the main presentation,
10 minutes are intended for discussion and feedback and include context switching between presentations.