Below you can find the workshop and main conference schedule, beware that there might still be potential changes.
SATURDAY, NOV 2 | SUNDAY, NOV 3 | MONDAY, NOV 4 | ||||||
---|---|---|---|---|---|---|---|---|
8:30 - 9:00 Registration |
8:30 - 9:00 Registration |
8:30 - 9:00 Registration |
||||||
9:00 - 10:15 Workshop: 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) |
9:00 - 10:15 Tutorial: Large Language Models are Human-like Annotators |
9:00 - 10:15 NMR |
9:00 - 10:15 Workshop: Iterated Belief Revision |
9:00 - 10:15 Workshop: Synergy (neuro- symbolic robotics) |
9:00 - 10:15 NMR |
9:00 - 10:15 Workshop: NeLaMKRR |
9:00 - 10:15 Tutorial: Argumentation and Machine Learning |
9:00 - 10:15 NMR |
10:15 - 10:45 Morning Tea |
10:15 - 10:45 Morning Tea |
10:15 - 10:45 Morning Tea |
||||||
10:45 - 12:00 Workshop: 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) |
10:45 - 12:00 Tutorial: Large Language Models are Human-like Annotators |
10:45 - 12:00 NMR |
10:45 - 12:00 Workshop: Iterated Belief Revision |
10:45 - 12:00 Workshop: Synergy (neuro- symbolic robotics) |
10:45 - 12:00 NMR |
10:45 - 12:00 Workshop: NeLaMKRR |
10:45 - 12:00 Tutorial: Argumentation and Machine Learning |
10:45 - 12:00 NMR |
12:00 - 13:00 Lunch Break |
12:00 - 13:00 Lunch Break |
12:00 - 13:00 Lunch Break |
||||||
13:00 - 14:15 Workshop: 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) |
13:00 - 14:15 Tutorial: Formal Aspects of Strategic Reasoning in Multi-Agent Systems |
13:00 - 14:15 NMR | 13:00 - 14:15 Tutorial: Probing Machine Learning Models in Angluin's Style |
13:00 - 14:15 Tutorial: An introduction to approximation fixpoint theory |
13:00 - 14:15 NMR |
13:00 - 14:15 Workshop: NeLaMKRR |
13:00 - 14:15 Tutorial: Fundamental Problems in Statistical Relational AI |
13:00 - 14:15 NMR |
14:15 - 14:45 Afternoon Tea |
14:15 - 14:45 Afternoon Tea |
14:15 - 14:45 Afternoon Tea |
||||||
14:45 - 16:00 Workshop: 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) |
14:45 - 16:00 Tutorial: Formal Aspects of Strategic Reasoning in Multi-Agent Systems |
14:45 - 16:00 NMR | 14:45 - 16:00 Tutorial: Probing Machine Learning Models in Angluin's Style |
14:45 - 16:00 Tutorial: An introduction to approximation fixpoint theory |
14:45 - 16:00 NMR |
14:45 - 16:00 Workshop: NeLaMKRR |
14:45 - 16:00 Tutorial: Fundamental Problems in Statistical Relational AI |
14:45 - 16:00 NMR |
18:15 - 21:30 Opening Reception |
||||||||
TUESDAY, NOV 5 | WEDNESDAY, NOV 6 | THURSDAY, NOV 7 | FRIDAY, NOV 8 | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
8:00 - 8:30 Registration |
8:00 - 8:30 Registration |
||||||||||
8:30 - 9:00 Opening Ceremony |
8:30 - 9:00 Lightning Talks: What's on today? |
8:30 - 9:00 Registration |
8:30 - 9:00 Registration |
||||||||
9:00 - 10:15 Video Track 1 Keynote: Can LLMs Really Reason and Plan? Subbarao Kambhampati, Arizona State University, USA |
9:00 - 10:15 Video Track 2 Keynote: Logic-based Explainability of ML Models Nina Narodytska, VMware Research by Broadcom, USA |
9:00 - 9:45 Lightning Talks: What's on today? |
9:00 - 9:45 Lightning Talks: What's on today? |
||||||||
9:45 - 11:00 Session: Description Logics 2 |
9:45 - 11:00 Session: Answer Set Programming 2 |
9:45 - 11:00 Session: Logic and Neural Networks |
9:45 - 11:00 Session: Explainable AI |
9:45 - 11:00 Session: Reasoning with Rules |
9:45 - 11:00 Session: Temporal Reasoning 2 |
||||||
10:15 - 11:00 Lightning Talks: What's on today? |
10:15 - 10:45 Morning Tea |
||||||||||
10:45 - 12:00 Session: Counting and Enumerating |
10:45 - 12:00 Session: KR and Learning 2 |
10:45 - 12:00 Session: Planning |
|||||||||
11:00 - 11:30 Morning Tea |
11:00 - 11:30 Morning Tea |
11:00 - 11:30 Morning Tea |
|||||||||
11:30 - 12:45 Session: Causality and Explanations |
11:30 - 12:45 Session: Answer Set Programming 1 |
11:30 - 12:45 Session: KR and Learning 1 |
11:30 - 12:45 Session: Query Answering 3 |
11:30 - 12:45 Session: Argumentation 3 |
11:30 - 12:45 Session: Planning and Machine Learning |
11:30 - 12:45 Session: Knowledge Graphs |
11:30 - 12:45 Session: Argumentation 5 |
11:30 - 12:45 Session: Non-Monotonic Reasoning |
|||
12:00 - 12:45 Diversity & Inclusion |
|||||||||||
12:45 - 14:15 Lunch Break |
12:45 - 14:10 Lunch Break Diversity & Inclusion Lunch |
12:45 - 14:15 Lunch Break DC Lunch |
12:45 - 14:15 Lunch Break |
||||||||
14:15 - 15:30 Session: Query Answering 1 |
14:15 - 15:30 Session: Argumentation1 |
14:15 - 15:30 Session: Temporal Reasoning 1 |
14:10 - 14:45 KR Awards Session |
14:15 - 15:30 Session: Description Logics 3 |
14:15 - 15:30 Session: Argumentation 4 |
14:15 - 15:30 Session: Inconsistency and Para- consistency |
14:15 - 15:30 Video Track 4 Keynote: KR Meets Data Quality Meghyn Bienvenu, LaBRI - CNRS & University of Bordeaux, France |
||||
14:45 - 16:00 DC: Lightning Talks & Posters |
|||||||||||
15:30 - 16:00 Afternoon Tea |
15:30 - 16:00 Demos |
15:30 - 16:00 Afternoon Tea |
|||||||||
16:00 - 17:15 Session: Description Logics 1 |
16:00 - 17:15 Session: Argumentation 2 |
16:00 - 17:15 Session: Belief Change 1 |
16:00 - 16:30 Afternoon Tea |
16:00 - 16:30 Afternoon Tea |
16:00 - 17:15 Session: Possibility and Probability |
16:00 - 17:15 Session: Explanation in Argumentation |
16:00 - 17:15 Session: Knowledge Representation |
||||
16:30 - 18:00 Session: Query Answering 2 |
16:30 - 18:00 Session: Belief Change 2 |
16:30 - 18:00 Session: Strategic Reasoning |
16:30 - 17:45 Video Track 3 Keynote: Great Moments in KR: Sheila McIlraith and Murray Shanahan in Conversation Sheila McIlraith, University of Toronto, Canada Murray Shanahan, Imperial College London, UK |
||||||||
17:15 - 17:30 Closing Ceremony |
|||||||||||
18:00 - 21:30 Excursion and Banquet |
|||||||||||
November 5, Conference Day 1 |
---|
Casuality and Explanations (11:30 - 12:35) |
11:30 - 11:45 Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation Yacine Izza, Xuanxiang Huang, Antonio Morgado, Jordi Planes, Alexey Ignatiev, and Joao Marques-Silva |
11:45 - 12:10 A Representation Theorem For Causal Decision Making Joseph Y Halpern and Evan Piermont |
12:10 - 12:35 Causal reasoning from almost first principles (Short) Alexander Bochman Recently Published Research Track |
Answer Set Programming 1 (11:30 - 12:45) |
11:30 - 11:55 Operator-based semantics for choice programs: is choosing losing? Jesse Heyninck |
11:55 - 12:20 Blending grounding and compilation for efficient ASP solving Carmine Dodaro, Giuseppe Mazzotta, and Francesco Ricca |
12:20 - 12:45 On Abstracting over the Irrelevant in Answer Set Programming Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, and João Leite |
KR and Learning 1 (11:30 - 12:45) |
11:30 - 11:55 Bridging Max Graph Neural Networks and Datalog with Negation David J. Tena Cucala and Bernardo Cuenca Grau Reasoning, Learning, and Decision Making Track |
11:55 - 12:20 LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers David Ing, Said Jabbour, Lakhdar Sais, and Fabien Delorme Reasoning, Learning, and Decision Making Track |
12:20 - 12:45 Learning Robust Reward Machines from Noisy Labels Roko Parać, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, and Alessandra Russo Reasoning, Learning, and Decision Making Track |
Query Answering 1 (14:15 - 15:30) |
14:15 - 14:40 Queries With Exact Truth Values in Paraconsistent Description Logics Meghyn Bienvenu, Camille Bourgaux, and Daniil Kozhemiachenko |
14:40 - 15:05 Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev |
15:05 - 15:30 Monotone Rewritability and the Analysis of Queries, Views, and Rules Michael Benedikt, Stanislav Kikot, Johannes Marti, and Piotr Ostropolski-Nawelaja |
Argumentation 1 (14:15 - 15:30) |
14:15 - 14:40 Collective Satisfaction Semantics for Opinion Based Argumentation Juliete Rossie, Jerome Delobelle, Sebastien Konieczny, Clément Lens, and Srdjan Vesic |
14:40 - 15:05 Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+ Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, and Matti Järvisalo |
15:05 - 15:30 Repairing Assumption-Based Argumentation Frameworks Anna Rapberger and Markus Ulbricht |
Temporal Reasoning 1 (14:15 - 15:20) |
14:15 - 14:40 MTLearn: Extracting Temporal Rules Using Datalog Rule Learners Dingmin Wang, Przemysław A Wałęga, and Bernardo Cuenca Grau Reasoning, Learning, and Decision Making Track |
14:40 - 15:05 Contracted Temporal Equilibrium Logic Pedro Cabalar, Thomas Eiter, and Davide Soldà |
15:05 - 15:20 The Transformation Logics. (Short) Alessandro Ronca Recently Published Research Track |
Description Logics 1 (16:00 - 17:15) |
16:00 - 16:25 Description Logics with Abstraction and Refinement: From ALC to EL Lukas Schulze and Carsten Lutz |
16:25 - 16:50 Non-Rigid Designators in Modal and Temporal Free Description Logics Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, and Frank Wolter |
16:50 - 17:15 Equilibrium Description Logics: Results on Complexity and Relations to Circumscription Federica Di Stefano and Mantas Šimkus |
Argumentation 2 (16:00 - 17:20) |
16:00 - 16:25 Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach Andrei Popescu and Johannes P. Wallner |
16:25 - 16:50 Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties) Nico Potyka and Richard Booth |
16:50 - 17:05 Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs (Short) Matti Berthold, Anna Rapberger, and Markus Ulbricht |
17:05 - 17:20 Argument Attribution Explanations in Quantitative Bipolar Argumentation Frameworks (Short) Xiang Yin, Nico Potyka, and Francesca Toni Recently Published Research Track |
Belief Change 1 (16:00 - 17:20) |
16:00 - 16:25 Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel Jandson S Ribeiro |
16:25 - 16:50 Contractions Based on Optimal Repairs Franz Baader and Renata Wassermann |
16:50 - 17:05 The Realizability of Revision and Contraction Operators in Epistemic Spaces (Short) Kai Sauerwald and Matthias Thimm |
17:05 - 17:20 Advancing Interactive Explainable AI via Belief Change Theory (Position Paper, Short) Antonio Rago and Maria Vanina Martinez Reasoning, Learning, and Decision Making Track |
November 6, Conference Day 2 |
Counting and Enumerating (10:45 - 12:00) |
10:45 - 11:10 Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat Jan Tóth and Ondřej Kuželka |
11:10 - 11:35 Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models Jean-Marie Lagniez and Emmanuel Lonca |
11:35 - 12:00 Model Counting in the Wild. Arijit Shaw and Kuldeep S Meel KR in the Wild Track |
KR and Learning 2 (10:45 - 11:50) |
10:45 - 11:10 LLASP: Fine-tuning Large Language Models for Answer Set Programming Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, and Francesco Ricca Reasoning, Learning, and Decision Making Track |
11:10 - 11:35 Action Model Learning with Guarantees. Diego Aineto and Enrico Scala Reasoning, Learning, and Decision Making Track |
11:35 - 11:50 On the Expressivity of Recurrent Neural Cascades (Short) Nadezda A. Knorozova and Alessandro Ronca Recently Published Research Track |
Planning (10:45 - 11:50) |
10:45 - 11:10 Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning Biqing Fang and Fangzhen Lin |
11:10 - 11:35 On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events Lukas Chrpa and Erez Karpas |
11:35 - 11:50 A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Short) Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, and Daniele Magazzeni Recently Published Research Track |
Query Answering 2 (16:30 - 18:00) |
16:30 - 16:55 Shapley Value Computation in Ontology-Mediated Query Answering Meghyn Bienvenu, Diego Figueira, and Pierre Lafourcade |
16:55 - 17:20 The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules Piotr Ostropolski-Nalewaja and Sebastian Rudolph |
17:20 - 17:45 Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions Diego Figueira, Krishna S, and Anantha Padmanabha |
17:45 - 18:00 Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying (extended abstract of paper published at PODS 2023, Short) Jean-Francois Baget, Marie-Laure Mugnier, and Sebastian Rudolph Recently Published Research Track |
Belief Change 2 (16:30 - 18:00) |
16:30 - 16:55 Total preorders vs ranking functions under belief revision - the dynamics of empty layers Gabriele Kern-Isberner, Alexander Hahn, Jonas Philipp Haldimann, and Christoph Beierle |
16:55 - 17:20 Weighted Merging Operators: Product, Utility-based Operators and Egalitarism Patricia Everaere, Sebastien Konieczny, and Ramón Pino Pérez |
17:20 - 17:45 Belief change on rational rankings Nerio Borges, Sebastien Konieczny, Ramón Pino Pérez, and Nicolas Schwind |
17:45 - 18:00 A Kinematics Principle For Iterated Revision (Extended Abstract, Short) Gabriele Kern-Isberner, Christoph Beierle, and Meliha Sezgin Recently Published Research Track |
Strategic Reasoning (16:30 - 18:00) |
16:30 - 16:55 Verification of General Games with Imperfect Information using Strategy Logic Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
16:55 - 17:20 Incentive Design for Rational Agents David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, and Michael Wooldridge |
17:20 - 17:45 Action Language mA* with Higher-Order Action Observability David Buckingham, Matthias Scheutz, Tran Cao Son, and Francesco Fabiano |
17:45 - 18:00 Abstraction of Situation Calculus Concurrent Game Structures - Extended Abstract. (Short) Yves Lesperance, Giuseppe De Giacomo, Maryam Rostamigiv, and Shakil M Khan Recently Published Research Track |
November 7, Conference Day 3 |
Description Logics 2 (9:45 - 11:00) |
9:45 - 10:10 Explaining Reasoning Results for OWL Ontologies with Evee Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krueger, Alexej Popovic, and Ida SR Siahaan KR in the Wild Track |
10:10 - 10:35 Knowledge Base Embeddings: Semantics and Theoretical Properties Camille Bourgaux, Ricardo Guimarães, Raoul S Koudijs, Victor Lacerda, and Ana Ozaki Reasoning, Learning, and Decision Making Track |
10:35 - 11:00 Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster Carsten Lutz and Quentin Manière |
Answer Set Programming 2 (9:45 - 11:00) |
9:45 - 10:10 ASP Chef: Draw and Expand Mario Alviano and Luis Angel Rodriguez Reiners KR in the Wild Track |
10:10 - 10:35 ASP-QRAT: a Conditionally Optimal Dual Proof System for ASP Leroy Chew, Alexis de Colnet, and Stefan Szeider |
10:35 - 11:00 Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara KR in the Wild Track |
Logic and Neural Networks (9:45 - 11:00) |
9:45 - 10:10 On the Expressivity of Recurrent Neural Cascades with Identity Nadezda A. Knorozova and Alessandro Ronca Reasoning, Learning and Decision Making Track |
10:10 - 10:35 Logical Distillation of Graph Neural Networks Alexander Pluska, Pascal Welke, Thomas Gärtner, and Sagar Malhotra Reasoning, Learning and Decision Making Track |
10:35 - 11:00 Relational Graph Convolutional Networks Do Not Learn Sound Rules Matthew Morris, David Tena Cucala, Bernardo Cuenca Grau, and Ian Horrocks Reasoning, Learning and Decision Making Track |
Query Answering 3 (11:30 - 12:45) |
11:30 - 11:55 Navigating and Querying Answer Sets: How Hard Is It Really and Why? Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, and Johannes K Fichte |
11:55 - 12:20 Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable David Carral, Lucas Larroque, and Michael Thomazo |
12:20 - 12:45 Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases Meghyn Bienvenu, Camille Bourgaux, and Robin Jean |
Argumentation 3 (11:30 - 12:35) |
11:30 - 11:55 Argumentative Causal Discovery Fabrizio Russo, Anna Rapberger, and Francesca Toni Reasoning, Learning and Decision Making Track |
11:55 - 12:20 Dialectical Reconciliation via Structured Argumentative Dialogues Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Son Tran, and Francesca Toni KR in the Wild Track |
12:20 - 12:35 Recourse under Model Multiplicity via Argumentative Ensembling (Short) Junqi Jiang, Francesco Leofante, Antonio Rago, and Francesca Toni Recently Published Research |
Planning and Machine Learning (11:30 - 12:45) |
11:30 - 11:55 Learning to Ground Existentially Quantified Goals Martin Funkquist, Simon Ståhlberg, and Hector Geffner Reasoning, Learning and Decision Making Track |
11:55 - 12:20 Planning Domain Model Acquisition from State Traces without Action Parameters Tomas Balyo, Martin Suda, Lukas Chrpa, Dominik Safranek, Stephan Gocht, Filip Dvorak, Roman Bartak, and G. Michael Youngblood Reasoning, Learning and Decision Making Track |
12:20 - 12:45 Symmetries and Expressive Requirements for Learning General Policies Dominik Drexler, Simon Ståhlberg, Blai Bonet, and Hector Geffner Reasoning, Learning and Decision Making Track |
Description Logics 3 (14:15 - 15:30) |
14:15 - 14:40 Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities Lucia Gomez and Sebastian Rudolph |
14:40 - 15:05 Extending Description Logics with Generic Concepts - the Tale of Two Semantics Joshua Hirschbrunn and Yevgeny Kazakov |
15:05 - 15:30 Expressive Power of Definite Descriptions in Modal Logics Przemysław A Wałęga |
Argumentation 4 (14:15 - 15:35) |
14:15 - 14:40 Preference-Based Abstract Argumentation for Case-Based Reasoning Adam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matt Williams, and Francesca Toni |
14:40 - 15:05 From Acceptance to Rejection in Abstract Argumentation Anne-Marie Heine and Markus Ulbricht |
15:05 - 15:20 Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility (Short) Kenneth Skiba and Matthias Thimm |
15:20 - 15:35 Contestable AI needs Computational Argumentation (Position paper, Short) Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago, Anna Rapberger, Fabrizio Russo, Xiang Yin, Dekai Zhang, and Francesca Toni Reasoning, Learning and Decision Making Track |
Inconsistency and Paraconsistency (14:15 - 15:35) |
14:15 - 14:40 Abductive reasoning in a paraconsistent framework Meghyn Bienvenu, Katsumi Inoue, and Daniil Kozhemiachenko |
14:40 - 15:05 Deontic Reasoning based on Inconsistency Measures Ofer Arieli, Kees van Berkel, Badran Raddaoui, and Christian Strasser |
15:05 - 15:20 Axiomatization of Approximate Exclusion (Short) Matilda Häggblom |
15:20 - 15:35 A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Short) Yakoub Salhi and Michael Sioutis. Recently Published Research Track |
November 8, Conference Day 4 |
Explainable AI (9:45 - 11:00) |
9:45 - 10:10 Explaining Image Classifiers Hana Chockler and Joseph Y Halpern |
10:10 - 10:35 Explaining Decisions in ML Models: a Parameterized Complexity Analysis Sebastian Ordyniak, Giacomo Paesani, Mateusz MR Rychlicki and Stefan Szeider |
10:35 - 11:00 A Uniform Language to Explain Decision Trees Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Carabal, and Bernardo Subercaseaux |
Reasoning with Rules (9:45 - 11:00) |
9:45 - 10:10 ASPEN: ASP-Based System for Collective Entity Resolution Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Victor Gutierrez Basulto, and Yazmin A Ibanez Garcia KR in the Wild Track |
10:10 - 10:35 dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning Renato Geh, Jonas L Gonçalves, Igor Cataneo Silveira, Denis D Mauá, and Fabio Cozman KR in the Wild Track |
10:35 - 11:00 Nemo: Your Friendly and Versatile Rule Reasoning Toolkit Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, and Markus Krötzsch KR in the Wild Track |
Temporal Reasoning 2 (9:45 - 11:00) |
9:45 - 10:10 Probabilistic synthesis and verification for LTL on finite traces Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Vardi, and Florian Zuleger |
10:10 - 10:35 A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic Lukas Zenger, David Fernández-Duque, and Brett McLean |
10:35 - 11:00 Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, and Florian Zuleger |
Knowledge Graphs (11:30 - 12:45) |
11:30 - 11:55 Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs Francesco Magliocca, Luigi Sauro, and Piero Bonatti |
11:55 - 12:20 SHACL Validation under the Well-founded Semantics Cem Okulmus and Mantas Šimkus |
12:20 - 12:45 Consistent Query Answering over SHACL Constraints Timo Merkl, Reinhard Pichler, and Shqiponja Ahmetaj |
Argumentation 5 (11:30 - 12:35) |
11:30 - 11:55 Weak Admissibility for ABA via Abstract Set-Attacks Lydia Blümel, Matthias König, Markus Ulbricht |
11:55 - 12:20 Abstraction in Assumption-based Argumentation Iosif Apostolakis, Zeynep G. Saribatur, and Johannes P. Wallner |
12:20 - 12:35 Explaining Arguments’ Strength: Unveiling the Role of Attacks and Supports (Short) Xiang Yin, Nico Potyka, and Francesca Toni Recently Published Research Track |
Non-Monotonic Reasoning (11:30 - 12:45) |
11:30 - 11:55 Non-monotone Fixpoint Theory based on the Structure of Weak Bilattices Angelos Charalambidis, Giannos Chatziagapis, Charalampos Kostopoulos, and Panos Rondogiannis |
11:55 - 12:20 Strongly Analytic Calculi for KLM Logics with SMT-Based Prover Agata Ciabattoni, Clemens Eisenhofer, and Dmitry Rozplokhas |
12:20 - 12:45 Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations Christoph Beierle, Lars-Phillip Spiegel, Jonas Philipp Haldimann, Marco Wilhelm, Jesse Heyninck and Gabriele Kern-Isberner |
Possibility and Probability (16:00 - 16:55) |
16:00 - 16:25 Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging Tommaso Flaminio, Lluis Godo Lacasa, and Giuliano Rosella |
16:25 - 16:40 Counterfactuals as Modal Conditionals, and Their Probability (Short) Giuliano Rosella, Tommaso Flaminio, and Stefano Bonzio Recently Published Research Track |
16:40 - 16:55 Many-Valued Logic Reasons About Probability (Short) Tommaso Flaminio and Sara Ugolin Recently Published Research Track |
Explanation in Argumentation (16:00 - 17:20) |
16:00 - 16:25 Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, and Irina Trubitsyna |
16:25 - 16:50 CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks Xiang Yin, Nico Potyka, and Francesca Toni |
16:50 - 17:05 Change in quantitative bipolar argumentation: Sufficient, necessary, and counterfactual explanations (Short) Timotheus Kampik, Kristijonas Čyras, and José Ruiz Alarcón Recently Published Research Track |
17:05 - 17:20 Probabilistic interpretations of argumentative attacks: logical and experimental results (Short) Christian Fermüller and Niki Pfeifer Recently Published Research Track |
Knowledge Representation (16:00 - 17:10) |
16:00 - 16:25 Qiana: A First-Order Formalism to Quantify over Contexts and Formulas Simon Coumes, Pierre-Henri Paris, Francois Schwarzentruber, and Fabian Suchanek |
16:25 - 16:40 LIMDD: A Decision Diagram for the Simulation of Quantum Computing Including Stabilizer States (Short) Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, and Alfons Laarman Recently Published Research Track |
16:40 - 16:55 A logic-based framework for characterizing nexus of similarity within knowledge bases (Extended Abstract, Short) Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, and Aldo Ricioppo Recently Published Research Track |
16:55 - 17:10 Automated Reasoning in Systems Biology: a Necessity for Precision Medicine (Position Paper, Short) Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, and Marcus Krantz Reasoning, Learning and Decision Making Track |