Thursday, Aug 4

Session 1
Argumentation (Taub 2)
Session Chair: Nico Potyka
Belief Revision (Taub 3)
Session Chair: Kai Sauerwald
09:00 - 09:30 Wolfgang Dvořák, Matthias König, Markus Ulbricht and Stefan Woltran
Rediscovering Argumentation Principles Utilizing Collective Attacks
Matti Berthold
On Syntactic Forgetting with Strong Persistence
09:30 - 10:00 Victor Hugo Nascimento Rocha and Fabio Cozman
A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation
Jandson S. Ribeiro
Kernel Contraction and the Order of Relevance
10:00 - 10:30 Tuomo Lehtonen, Johannes P. Wallner and Matti Järvisalo
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism
Joe Singleton and Richard Booth
Who’s the Expert? On Multi-source Belief Revision
10:30 - 11:00Coffee Break
Session 2
11:00 - 12:00Invited Talk (Taub 2)
Leonid Libkin
Graph Queries: Do We Study What Matters? (abstract)

Chair: Thomas Meyer
Automated Reasoning (Taub 2)
Session Chair: Kai Sauerwald
Strategic Reasoning (Taub 3)
Session Chair: Eugenia Ternovska
12:00 - 12:30 Tim Lyon and Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin and Moshe Vardi
Private and public affairs in strategic reasoning
12:30 - 14:00Lunch
Session 3
Systems & Robotics (Taub 2)
Session Chair: Wolfgang Faber
Belief Revision/RDFS (Taub 3)
Session Chair: Richard Booth
14:00 - 14:30 Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini and Paolo Traverso
Online Grounding of Symbolic Planning Domains in Unknown Environments
Umberto Straccia and Giovanni Casini
A Minimal Deductive System for RDFS with Negative Statements
14:30 - 15:00 Periklis Mantenoglou, Manolis Pitsikalis and Alexander Artikis
Stream Reasoning with Cycles
Marlo Souza and Renata Wassermann
Hyperintensional Partial Meet Contractions
15:00 - 15:30 Federico Sabbatini and Roberta Calegari
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez
On the Representation of Darwiche and Pearl's Epistemic States for Iterated Belief Revision
15:30 - 16:00Coffee Break
Session 4
16:00 - 17:00FLoC Invited Talk (Churchill Auditorium)
Orna Kupferman
Complexity Measures for Reactive Systems (abstract)
17:00 - 17:30Piano Concert (Churchill auditorium)
see for more information