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 |
| Coffee | ||
| 10:30 - 11:00 | Coffee Break | |
| Session 2 | ||
| 11:00 - 12:00 | Invited 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 |
| Lunch | ||
| 12:30 - 14:00 | Lunch | |
| 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 |
| Coffee | ||
| 15:30 - 16:00 | Coffee Break | |
| Session 4 | ||
| 16:00 - 17:00 | FLoC Invited Talk (Churchill Auditorium)
Orna Kupferman Complexity Measures for Reactive Systems (abstract) | |
| 17:00 - 17:30 | Piano Concert (Churchill auditorium) see https://www.floc2022.org/concert for more information | |
