Schedule

Below you can find the workshop and main conference schedule, beware that there might still be potential changes.

Workshops

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

Main Conference

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

Session Details

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