Schedule Friday, September 8

	A	D	E	I	J
1	September 8
2
3	8:30 – 9:30	Invited Talk: Rineke Verbrugge (University of Groningen): Reasoning about reasoning about reasoning: from logic to the lab
4
5	9:30 – 10:45	Description Logic		Computational aspects of knowledge representation
6		Carsten Lutz, Quentin Manière and Robin Nolte	Querying Circumscribed Description Logic Knowledge Bases	Michel Leclère, Marie-Laure Mugnier and Guillaume Pérution-Kihli	Query Rewriting with Disjunctive Existential Rules and Mappings
7		Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Strass	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+	Claire David, Nadime Francis and Victor Marsault	Run-Based Semantics for RPQs
8		Ronald Fagin, Phokion Kolaitis, Domenico Lembo, Lucian Popa and Federico Scafoglieri	A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases	Meghyn Bienvenu and Camille Bourgaux	Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
9
10	10:45 – 11:15	Coffee Break
11
12	11:15 – 12:05	Planning		Constraint Acquisition and Description Logic
13		Ava Clifton and Charles Gretton	Property Directed Reachability for Planning Revisited	Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb	Active Disjunctive Constraint Acquisition
14		Dominik Drexler, Jendrik Seipp and Hector Geffner	Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules	Carsten Lutz and Lukas Schulze	Description Logics with Abstraction and Refinement
15
16	12:05 – 14:00	Lunch Break
17
18	13:30 – 14:00	Coffee Break
19
20	14:00 – 15:15	Argumentation		Reasoning about Knowledge and Knowledge Compilation
21		Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity	Paulius Dilkas and Vaishak Belle	Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
22		Lydia Blümel and Matthias Thimm	Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics	Marcos Cramer, Samuele Pollaci and Bart Bogaerts	Mathematical Foundations for Joining Only Knowing and Common Knowledge
23		Henry Prakken	Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions	Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh and François Schwarzentruber	On simple expectations and observations of intelligent agents: A complexity study
24
25	15:15 – 15:45	Closing