Tuesday, Aug 2 | ||
| Session 1 | ||
|---|---|---|
| 09:00 - 09:30 | Opening (Taub 2) | |
| 09:30 - 10:30 | Invited Talk (Taub 2, online) Yejin Choi Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning (abstract) Chair: Thomas Meyer | |
| Coffee | ||
| 10:30 - 11:00 | Coffee Break | |
| Session 2 | ||
| 11:00 - 12:10 | FLoC 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 |
| Lunch | ||
| 12:40 - 14:00 | Lunch, 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 |
| Coffee | ||
| 15:30 - 16:00 | Coffee 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:30 | FLoC Invited Talk (Churchill Auditorium) Francesca Rossi Thinking Fast and Slow in AI (abstract) | |
