Tuesday, Aug 2

Session 1
09:00 - 09:30Opening (Taub 2)
09:30 - 10:30Invited Talk (Taub 2, online)
Yejin Choi
Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning (abstract)

Chair: Thomas Meyer
10:30 - 11:00Coffee Break
Session 2
11:00 - 12:10FLoC Opening and Invited Talk (Churchill Auditorium)
Catuscia Palamidessi
Information Structures for Privacy and Fairness (abstract)
Epistemic Logic (Taub 2)
Session Chair: Tommaso Flaminio
Knowledge Graphs (Taub 3)
Session Chair: Umberto Straccia
12:10 - 12:40 Alexandru Baltag, Nick Bezhanishvili and David Fernández-Duque
The Topology of Surprise
Huifan Yang, Da-Wei Li, Zekun Li, Donglin Yang and Bin Wu
Open Relation Extraction With Non-existent and Multi-span Relationships
12:40 - 14:00Lunch, KR SC Lunch
Session 3
Multi-Agent Systems (Taub 2)
Session Chair: Leonid Libkin
Doctoral Consortium (Taub 3)
Session Chair: Giovanni Casini
14:00 - 14:30 Senthil Rajasekaran and Moshe Y. Vardi
Verification and Realizability in Finite-Horizon Multiagent Systems
Matthias König
Graph Parameters for Abstract Argumentation

Lydia Blümel
Impact of Logic Paradigms on Abstract Argumentation

Tuomo Lehtonen
Computational Aspects of Structured Argumentation

Clayton Baker
Do Humans Find Postulates of Belief Change Plausible?

Meliha Sezgin
A Conditional Perspective for Reasoning, Revision and Relevance

Xu Li
Deontic Logic for Epistemic Actions
14:30 - 15:00 Alison R. Panisson, Peter McBurney and Rafael H. Bordini
Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems
Jonas Philipp Haldimann
Relevance in Reasoning with and Revision of Conditional Beliefs

Jonas Karge
Multi-Agent Belief Management

Thanh Ma
On Merging of Open-Domain Ontologies

Martin Glauer
Structure-based ontology extensions

Filippo De Bortoli
Reasoning Efficiently with Description Logics that Count

Guillaume Pérution-Kihli
Data Quality in Ontology-Based Data Access
15:00 - 15:30 Natasha Alechina, Giuseppe De Giacomo, Brian Logan and Giuseppe Perelli
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
Albert Gutowski
Decidability Limits of Finite Ontology-Mediated Query Entailment

Stylianos Loukas Vasileiou
Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems

Munyque Mittelmann
Logics for Representation and Design of Auctions

Periklis Mantenoglou
Optimisation Methods for Complex Event Recognition

Ionela Mocanu
On the learnability of knowledge in language domains

Alvaro Gunawan
Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing

Pulkit Verma
Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems
15:30 - 16:00Coffee Break, DC Posters
Session 4
Temporal Reasoning (Taub 2)
Session Chair: Martin Gebser
Description Logics (Taub 3)
Session Chair: Diego Calvanese
16:00 - 16:30 Juan Aguilera, Martín Diéguez, David Fernández-Duque and Brett McLean
A Gödel calculus for Linear Temporal Logic
Meghyn Bienvenu, Quentin Manière and Michaël Thomazo
Counting queries over ELHI⊥ ontologies
16:30 - 17:00 Nicola Gigante, Andrea Micheli and Enrico Scala
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
Carsten Lutz, Leif Sabellek and Lukas Schulze
Ontology-Mediated Querying on Databases of Bounded Cliquewidth
17:00 - 17:30 Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries
Victor Gutierrez-Basulto, Albert Gutowski, Yazmin Ibanez-Garcia and Filip Murlak
Finite Entailment of UCRPQs over ALC Ontologies
17:30 - 18:30FLoC Invited Talk (Churchill Auditorium)
Francesca Rossi
Thinking Fast and Slow in AI (abstract)