Preliminary Schedule

Show authors

Schedule for 2026-07-20

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

23:00

Room 1

Room 2

Room 3

Keynote 09:00 - 10:00

Coffee Break 10:00 - 10:30

KR Opening 10:30 - 11:00

Argumentation 1 11:00 - 12:40

Chair: Eduardo Fermé

11:00-11:25 Computing Extensions of Abstact Argumentation Frameworks by Enumerating Closed Sets
Sergei Obiedkov (TU Dresden), Barış Sertkaya (Frankfurt University of Applied Sciences)
11:25-11:50 Tenability and Weak Semantics: Modeling Non-uniform Defense
Uri Andrews (University of Wisconsin -- Madison), Luca San Mauro (University of Bari), John Spoerl (University of Wisconsin -- Madison)
11:50-12:15 Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks
Jordan Thieyre (LIP6, CNRS - Sorbonne Université), Aurélie Beynier (LIP6, CNRS - Sorbonne Université), Sébastien Destercke (Université de technologie de Compiègne, CNRS, Heudiasyc), Nicolas Maudet (LIP6, CNRS - Sorbonne Université), Srdjan Vesic (CRIL, CNRS - Univ. Artois)
12:15-12:40 Contestability in Edge-Weighted Quantitative Bipolar Argumentation Frameworks
Xiang Yin (Imperial College London), Nico Potyka (Cardiff University), Antonio Rago (King's College London), Timotheus Kampik (Umeå University), Francesca Toni (Imperial College London)

Lunch 12:40 - 14:00

Belief change and epistemic logic 14:00 - 15:35

Chair: Sebastien Konieczny

14:00-14:25 Revealed Epistemic Trust
Xu Li (University of Luxembourg), Leon van der Torre (University of Luxembourg), Liuwen Yu (Luxembourg Institute of Science and Technology)
14:25-14:50 Suspending Judgement: belief contraction in dynamic epistemic logic
Alexandru Baltag (ILLC, University of Amsterdam), Virginie Fiutek (Independent Researcher), Sonja Smets (ILLC, University of Amsterdam)
14:50-15:15 A Study of Belief Revision Postulates in Multi-Agent Systems
Michael Thielscher (University of New South Wales), Tran Cao Son (New Mexico State University)
15:15-15:35 Model Change for Description Logic Concepts
Ana Ozaki (University of Oslo), Jandson S Ribeiro (Cardiff University)

Coffee Break 15:35 - 16:00

KR Invited: Magdalena Ortiz 16:00 - 17:00

Chair: Marie-Laure Mugnier

16:00-17:00 It's all Connected: Knowledge Representation for Graph Data
Magdalena Ortiz (TU Wien (Vienna University of Technology))

Reception 18:00 - 20:00

Keynote 09:00 - 10:00

Coffee Break 10:00 - 10:30

Knowledge compilation 11:00 - 12:40

Chair: Sebastian Rudolph

11:00-11:25 A Distributed Framework for Compiling and Reasoning with d-DNNF
Zhenghang Xu (Northeast Normal University), Minghao Yin (Northeast Normal University), Jianan Wang (Northeast Normal University), Jean Marie Lagniez (CRIL)
11:25-11:50 From Tensor Networks to Tractable Circuits, and back
Arend-Jan Quist (Leiden University), Marc Farreras (Leiden University), Alexis de Colnet (Leiden University), John van de Wetering (University of Amsterdam), Alfons Laarman (Leiden University)
11:50-12:15 Compiling Defeasible Inference: A Dynamic Approach To System Z
Luke Slater (University of Cape Town), Thomas Meyer (University of Cape Town), Jesse Heyninck (Open University, Heerlen)
12:15-12:40 Knowledge Compilation for Quantification in Alternating Automata
Niklas Metzger (CISPA Helmholtz Center for Information Security), Alfredo Cantarella (CISPA Helmholtz Center for Information Security), Bernd Finkbeiner (CISPA Helmholtz Center for Information Security), Supratik Chakraborty (Indian Institute of Technology Bombay), S. Akshay (Indian Institute of Technology Bombay)

Lunch 12:40 - 14:00

Abduction and diagnosis 14:00 - 15:35

Chair: Patrick Koopmann

14:00-14:25 ABD: Default–Exception Abduction in Finite First-Order Worlds
Serafim Batzoglou (Seer)
14:25-14:50 But Not Because You Said So! Implicitly Accepting Information with Abductive Belief-Base Change
Moritz Bayerkuhnlein (University of Lübeck), Özgür Lütfü Özcep (University of Hamburg), Diedrich Wolter (University of Lübeck)
14:50-15:15 ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Anselm Haak (Paderborn University), Patrick Koopmann (Vrije Universiteit Amsterdam), Yasir Mahmood (Paderborn University), Anni-Yasmin Turhan (Paderborn University)
15:15-15:35 Summary of: On Validating Propositional Logic System Descriptions for Fault Diagnosis
Alexander Diedrich (Helmut-Schmidt-University), Lukas Moddemann (Helmut-Schmidt-University), Oliver Niggemann (Helmut-Schmidt-University)

Coffee Break 15:35 - 16:00

Reception 18:00 - 20:00

Keynote 09:00 - 10:00

Coffee Break 10:00 - 10:30

Probability 11:00 - 12:40

Chair: Gaby Kern-Isberner

11:00-11:25 Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
Daniil Kozhemiachenko (Aix-Marseille Univ, Laboratoire d'informatique et des systemes, CNRS), Igor Sedlár (The Czech Academy of Sciences, Institute of Computer Science)
11:25-11:50 Probabilistic Abduction in a Fuzzy Logic Framework
Tommaso Flaminio (IIIA --- CSIC, Campus de la UAB, Bellaterra, Barcelona, Spain), Katsumi Inoue (NII), Daniil Kozhemiachenko (Aix-Marseille Univ, Laboratoire d'informatique et des systemes, CNRS)
11:50-12:15 A Probabilistic Framework for Hierarchical Goal Recognition
Chenyuan Zhang (Monash University), Katherine Ip (University of Melbourne), Hamid Rezatofighi (Monash University), Buser Say (Monash University), Mor Vered (Monash University)
12:15-12:40 Large Language Models as Nondeterministic Causal Models
Sander Beckers (University College London)

Lunch 12:40 - 14:00

Reasoning on actions 14:00 - 15:35

Chair: Yves Lesperance

14:00-14:25 I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
Rustam Galimullin (University of Bergen), Hermine Grosinger (Örebro University), Munyque Mittelmann (LIPN, CNRS)
14:25-14:50 Specifying Agent Strategy Spaces via LTL Synthesis
Benjamin Aminof (Technical University of Vienna, Austria), Giuseppe De Giacomo (University of Oxford, UK), Aniello Murano (University of Naples “Federico II’, Italy), Sasha Rubin (University of Sydney, Australia)
14:50-15:15 Revisiting Ability-Based Bisimulation
Carlos Areces (Consejo Nacional de Investigaciones Científicas (CONICET) and Universidad Nacional de Córdoba, Argentina), Raul Fervari (Consejo Nacional de Investigaciones Científicas (CONICET) and Universidad Nacional de Córdoba, Argentina), Antonio Mondejar (Universidad Nacional de Córdoba, Argentina)
15:15-15:35 Reasoning over Streams of Events with Delayed Effects
Periklis Mantenoglou (Örebro University), Manolis Pitsikalis (NCSR “Demokritos”), Alexander Artikis (NCSR “Demokritos” & University of Piraeus)

Coffee Break 15:35 - 16:00

Reception 18:00 - 20:00

Schedule for 2026-07-21

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

23:00

Room 1

Room 2

Room 3

KR invited: Carsten Lutz 09:00 - 10:00

Chair: Franz Baader

09:00-10:00 The Logical Expressive Power of Graph Neural Networks
Carsten Lutz (Leipzig University)

KR awards 10:00 - 10:30

Chair: Tommie Meyer

Coffee Break 10:30 - 11:00

Nonmonotonic logic 11:00 - 12:35

Chair: Tommie Meyer

11:00-11:25 Beyond Consistency: A Closer Look at Free Formulas
Ofer Arieli (The Academic College of Tel-Aviv), Badran Raddaoui (Télécom SudParis, Polytechnic Institute of Paris), Christian Strasser (Ruhr Universität Bochum)
11:25-11:50 Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics
Xavier Parent (TU Wien)
11:50-12:15 Safely Decomposing Conditional Belief Bases Into c-LEG Networks
Gabriele Kern-Isberner (Technische Universität Dortmund), Alexander Hahn (Technische Universität Dortmund), Lars-Phillip Spiegel (FernUniversität in Hagen), Marco Wilhelm (Federal Institute for Occupational Safety and Health), Christoph Beierle (FernUniversität in Hagen)
12:15-12:35 Representation Theorems for Cumulative Propositional Dependence Logics
Juha Kontinen (University of Helsinki), Arne Meier (Leibniz University Hannover), Kai Sauerwald (FernUniversität in Hagen)

Lunch 12:35 - 14:00

Answer Set Programming 1 14:00 - 16:00

Chair: Michael Thielscher

14:00-14:25 Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before
Matthias Knorr (Universidade NOVA de Lisboa), Zeynep G. Saribatur (TU Wien), Ricardo Gonçalves (Universidade NOVA de Lisboa)
14:25-14:50 A Normal Form for Rules Containing Arithmetic Operations
Jorge Fandinno (University of Nebraska Omaha), Yuliya Lierler (University of Nebraska Omaha), Vladimir Lifschitz (University of Texas at Austin)
14:50-15:15 Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical Analysis
Mutsunori Banbara (Nagoya University), Hideo Bannai (Institute of Science Tokyo), Takashi Horiyama (Hokkaido University), Dominik Koeppl (University of Yamanashi), Takuya Mieno (The University of Electro-Communications), Hidetomo Nabeshima (University of Yamanashi)
15:15-15:40 Counting Complexity of ASP
Max Bannach (European Space Agency), Johannes Fichte (Linköping University), Johanna Groven (Linköping University), Markus Hecher (CNRS, CRIL Lens)
15:40-16:00 Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
Wolfgang Dvorak (TU Wien), Zeynep G. Saribatur (TU Wien), Stefan Woltran (TU Wien)

Coffee Break 16:00 - 16:30

Neural-symbolic learning 16:30 - 18:35

Chair: Mena Leemhuis

16:30-16:55 Semantic Foundations of Neuro-Symbolic Multi-Agent Systems
Julian Gutierrez (University of Sussex)
16:55-17:20 Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
Manuel Vargas Guzmán (University of Warsaw), Jakub Szymanik (University of Trento), Maciej Malicki (University of Warsaw)
17:20-17:45 Symbolic Knowledge Transfer for Sample-Efficient Deep Reinforcement Learning
Celeste Veronese (University of Verona), Alessandro Farinelli (University of Verona), Daniele Meli (University of Verona)
17:45-18:10 SafeTap: Neurosymbolic Language to Quadrupedal Locomotion via Reactive Synthesis Modulo Bitvectors
Andoni Rodriguez (IMDEA Software Institute, , Universidad Politecnica de Madrid), Cesar Sanchez (IMDEA Software Institute)
18:10-18:35 Neuro-Symbolic Causal Boosting: A Framework for Interpretable Attribution of Business Fluctuations
Yonghe Zhao (Mashang Consumer Finance Co., Ltd.), Yuezhu Wang (School of Artificial Intelligence, Jilin University), Chao Ma (Mashang Consumer Finance Co., Ltd.), Huiyan Sun (School of Artificial Intelligence, Jilin University)

Coffee Break 10:30 - 11:00

Graph Data 11:00 - 12:35

Chair: Andreas Pieris

11:00-11:25 Common Foundations for Recursive Shape Languages
Shqiponja Ahmetaj (TU Wien), Iovka Boneva (University of Lille), Jan Hidders (Birkbeck, University of London), Maxime Jakubowski (TU Wien), Jose-Emilio Labra-Gayo (University of Oviedo), Wim Martens (University of Bayreuth), Fabio Mogavero (Universita di Napoli Federico II), Filip Murlak (University of Warsaw), Cem Okulmus (Paderborn University), Ognjen Savkovic (Free University of Bolzano), Mantas Šimkus (TU Wien), Dominik Tomaszuk (University of Bialystok)
11:25-11:50 Static Analysis of Recursive SHACL
Anouk Michelle Oudshoorn (Institute of Logic and Computation, TU Wien), Magdalena Ortiz (Institute of Logic and Computation, Tu Wien), Mantas Simkus (Institute of Logic and Computation, Tu Wien)
11:50-12:15 Almost Certain Query Answering over Incomplete Relational and Graph Data
Heng Liu (Simon Fraser University), Leonid Libkin (RelationalAI & University of Edinburgh), Eugenia Ternovska (Simon Fraser University)
12:15-12:35 A Simple Baseline for Inductive Knowledge Base Completion
Christian Meilicke (University of Mannheim), Rainer Gemulla (University of Mannheim), Julie Naegelen (University of Mannheim), Heiner Stuckenschmidt (University of Mannheim)

Lunch 12:35 - 14:00

Description logics and databases 14:00 - 15:55

Chair: Magdalena Ortiz

14:00-14:25 Partially Finite Model Reasoning in Description Logics
Tomasz Gogacz (University of Warsaw), Filip Murlak (University of Warsaw), Marcin Przybyłko (University of Warsaw), Alexandra Rogova (University of Warsaw), Michał Skrzypczak (University of Warsaw)
14:25-14:50 How Hard is it to Decide if a Fact is Relevant to a Query?
Meghyn Bienvenu (CNRS & University of Bordeaux), Diego Figueira (CNRS & University of Bordeaux), Pierre Lafourcade (CNRS & University of Bordeaux)
14:50-15:15 Complexity of Logics with Semiring Semantics
Timon Barlag (Leibniz Universität Hannover), Nicolas Fröhlich (Leibniz Universität Hannover), Teemu Hankala (University of Helsinki), Miika Hannula (University of Tartu and University of Helsinki), Minna Hirvonen (Leibniz Universität Hannover), Vivian Holzapfel (Leibniz Universität Hannover), Juha Kontinen (University of Helsinki), Arne Meier (Leibniz Universität Hannover), Laura Strieker (Leibniz Universität Hannover)
15:15-15:35 Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
Meghyn Bienvenu (CNRS & University of Bordeaux), Quentin Manière (Inria)
15:35-15:55 Inclusion with Repetitions and Boolean Constants — Implication Problems Revisited
Matilda Häggblom (University of Helsinki)

Coffee Break 16:00 - 16:30

Planning 16:30 - 18:35

Chair: Gerhard Lakemeyer

16:30-16:55 Over All, PDDL Semantics is Simultaneously Simple and Hard to Get Right
Nicola Gigante (Free University of Bozen-Bolzano), Andrea Micheli (Fondazione Bruno Kessler), Enrico Scala (University of Brescia), Alessandro Valentini (Fondazione Bruno Kessler)
16:55-17:20 Synthesis Foundations for Online LTLf Goal Management
Giuseppe De Giacomo (University of Oxford & Sapienza Università di Roma), Yves Lespérance (York University), Gianmarco Parretti (Sapienza Università di Roma), Fabio Patrizi (Sapienza Università di Roma)
17:20-17:45 On-the-fly LTLf Synthesis under Partial Observability
Nadav Alon (The Open University of Israel), Supratik Chakraborty (IIT Bombay), Alexandre Duret-Lutz (LRE / EPITA), Dror Fried (The Open University of Israel), Lucas Martinelli Tabajara (Runtime Verification Inc.), Moshe Y. Vardi (Rice University), Shufang Zhu (University of Liverpool)
17:45-18:10 Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
Giuseppe De Giacomo (University of Oxford), Yves Lespérance (York University), Matteo Mancanelli (University of Rome La Sapienza), Gianmarco Parretti (University of Rome La Sapienza)
18:10-18:35 Optimal In-Station Train Dispatching via Symbolic Pattern Planning
Matteo Cardellini (Università degli Studi di Genova), Enrico Giunchiglia (Università degli Studi di Genova), Davide Anguita (Università degli Studi di Genova), Carmelo Lofiego (Hitachi Rail STS), Luca Oneto (Università degli Studi di Genova), Pietro Ratto (Hitachi Rail STS)

Coffee Break 10:30 - 11:00

Doctoral Consortium (talks) 11:00 - 11:45

11:00-11:09 Introduction
David Carral (INRIA Sophia Antipolis, France), Munyque Mittelmann (CNRS Paris, France)
11:09-11:12 ASP Encodings for Multi-Commodity Batch Scheduling in Logistics Networks
Racquel Dennison (University Of Cape Town), Jesse Heyninck (Open Universiteit - the Netherlands), Thomas Meyer (University Of Cape Town)
11:12-11:15 Knowledge-Based Stable Roommates Problems
Müge Fidan (Sabanci University)
11:15-11:18 How Can Inconsistent Agents Become Consistent?
Linda Gutsche (Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, F-38000 Grenoble, France)
11:18-11:21 Graphical representations of KLM-style defeasible justifications for propositional logic
Jane Imrie (University of Cape Town)
11:21-11:24 KLM-Style Defeasibility in Modal and Description Logics
Nicholas Leisegang (University of Cape Town and CAIR)
11:24-11:27 Towards Defeasible Semantics for Symbolic Classifiers
Ruvarashe Madzime (University of the Western Cape)
11:27-11:30 Integrating and Reasoning with Data-Induced Information: Knowledge Bases of Axioms and Learned Models
Laura Papi (Sapienza University of Rome)
11:30-11:33 Defining Goals using Knowledge Representation for Aligned Reinforcement Learning
Paulius Skaisgiris (TU Wien)
11:33-11:36 Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering
Luke Slater (University of Cape Town)
11:36-11:39 Generalization in Reinforcement Learning from Logical Specifications
Vignesh Subramanian (Georgia Institute of Technology)
11:39-11:42 A framework for Counterfactual Explainability in Graph Neural Networks
Maria Myrto Villia (computer Science Department, University of Crete, Greece; Institute of Computer Science, FORTH, Greece)
11:42-11:45 Practical Methods for Concept Interpolation in Realistic Ontologies
Xiaoshuang Yang (Vrije Universiteit Amsterdam)

Doctoral Consortium (posters) 11:45 - 12:45

Lunch 12:35 - 14:00

Explanation 14:00 - 16:00

Chair: Antonio Rago

14:00-14:25 Precise and Efficient Model-Agnostic Explanations
Jairo Lefebre-Lobaina (Artificial Intelligence Research Institute - IIIA - CSIC), Maria Vanina Martinez (Artificial Intelligence Research Institute - IIIA - CSIC), Joao Marques-Silva (ICREA & Univ. Lleida)
14:25-14:50 Model-Agnostic Explanations by Consensus
Carlos Mencía (University of Oviedo), Ramon Béjar (Universitat de Lleida), Raúl Mencía (University of Oviedo), Joao Marques-Silva (ICREA & University of Lleida)
14:50-15:15 Explaining Classification Through Global Sufficient Reasons and its Complexity
Marco Calautti (University of Milano), Enrico Malizia (University of Bologna), Cristian Molinaro (University of Calabria)
15:15-15:35 A Map–Summarize Framework for Answer Set Verbalization
Mario Alviano (Department of Mathematics and Computer Science - University of Calabria), Matteo Capalbo (Department of Mathematics and Computer Science - University of Calabria), Sebastiano Antonio Piccolo (Department of Mathematics and Computer Science - University of Calabria)
15:35-16:00 Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
Fabian Vehlken (Ruhr University Bochum), Thomas Zeume (Ruhr University Bochum), Emilio Carrasco Bustamante (TU Dortmund University), Maëlle Cornély (Université Paris-Saclay, ENS Paris-Saclay), Lukas Pradel (Ruhr University Bochum)

Coffee Break 16:00 - 16:30

Datalog and existential rules 16:30 - 18:35

Chair: Leonid Libkin

16:30-16:55 Why(-Not)-Provenance for Datalog with Negation
Bart Bogaerts (KU Leuven and Vrije Universiteit Brussel), Marco Calautti (University of Milano), Andreas Pieris (University of Cyprus & University of Edinburgh), Samuele Pollaci (Vrije Universiteit Brussel and KU Leuven), Robbe Van den Eede (KU Leuven and Vrije Universiteit Brussel)
16:55-17:20 Efficient Temporal Datalog Materialisation for Composite Event Recognition
Periklis Mantenoglou (Örebro University)
17:20-17:45 Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog
Mathijs van Noort (Ghent University - imec), Przemyslaw Walega (Queen Mary University of London)
17:45-18:10 The Chase in Lean - Crafting a Formal Library for Existential Rule Research
Lukas Gerlach (TU Dresden)
18:10-18:35 VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows
Teodoro Baldazzi (TU Wien), Luigi Bellomarini (Banca d’Italia), Andrea Coletta (Banca d’Italia), Michela Iezzi (Banca d’Italia), Carsten Maple (University of Warwick), Alessandro Pesare (TU Wien), Emanuel Sallinger (TU Wien)

Schedule for 2026-07-22

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

23:00

Room 1

Room 2

Room 3

Keynote 09:00 - 10:00

Coffee Break 10:00 - 10:30

Diversity and inclusion 10:30 - 11:30

10:30-11:30 What Would You Do? Dilemmas from Academic Life
Lucia Gomez (Inria), Vanina Martinez (IIIA - CSIC), Sanja Lukumbuzya (TU Wien)

Reinforcement learning and norms 11:40 - 12:25

Chair: Gaby Kern-Isberner

11:40-12:05 Scalable Learning of Challenging Normative Behaviours with Deep RL
Emery Neufeld (TU Wien), Thorsten Engesser (TU Wien), Martin Tappler (TU Wien)
12:05-12:25 Normative Narrator: Guiding and Explaining Reinforcement Learning Agents
Emery Neufeld (TU Wien), Kees van Berkel (TU Wien)

Lunch 12:30 - 14:00

Belief change 14:00 - 15:35

Chair: Renata Wassermann

14:00-14:20 AGM Belief Revision, Semantically (Extended Abstract)
Sebastian Rudolph (TU Dresden), Kai Sauerwald (University of Hagen)
14:20-14:45 Expressiveness of Epistemic Spaces for Iterated Belief Change Operators
Nicolas Schwind (National Institute of Advanced Industrial Science and Technology (AIST)), Sébastien Konieczny (CRIL - CNRS), Ramon Pino Perez (Universidad de Los Andes)
14:45-15:10 Truth-Tracking by Iterated Belief Change
Nicolas Schwind (National Institute of Advanced Industrial Science and Technology (AIST)), Patricia Everaere (Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France), Sébastien Konieczny (CRIL - CNRS)
15:10-15:35 Interval Orders, Biorders and Credibility-limited Belief Revision
Richard Booth (Cardiff University), Ivan Varzinczak (Université Sorbonne Paris Nord)

Coffee Break 15:35 - 16:00

Expressivity of neural networks 16:00 - 18:00

Chair: Carsten Lutz

16:00-16:25 Unifying approach to uniform expressivity of graph neural networks
Huan Luo (University of Glasgow), Jonni Virtema (University of Glasgow)
16:25-16:50 Recurrent Graph Neural Networks and Arithmetic Circuits
Timon Barlag (Leibniz Universität Hannover), Vivian Holzapfel (Leibniz Universität Hannover), Laura Strieker (Leibniz Universität Hannover), Jonni Virtema (University of Glasgow), Heribert Vollmer (Leibniz Universität Hannover)
16:50-17:15 The Polynomial Counting Capabilities of Message Passing Neural Networks
Marco Sälzer (RPTU, Techinical University of Kaiserslautern), Pascal Bergsträßer (RPTU, Technical University of Kaiserslautern), Anthony W. Lin (RPTU, Technical University of Kaiserslautern)
17:15-17:35 Extended Abstract: Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2
Stan P Hauke (King's College London), Przemysław Andrzej Wałęga (Queen Mary University of London)
17:35-18:00 How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks
Stan P Hauke (King’s College London), Przemysław Andrzej Wałęga (Queen Mary University of London)

Banquet 19:00 - 23:00

Keynote 09:00 - 10:00

Coffee Break 10:00 - 10:30

SAT encoding 11:40 - 12:30

Chair: Joao Marques-Silva

11:40-12:05 SRIP: A SAT-based System for Independent Set Reconfiguration
Takehide Soh (Nagoya University), Akifumi Kuwahara (Kobe University), Mutsunori Banbara (Nagoya University), Naoyuki Tamura (Kobe University), Yasuaki Kobayashi (Hokkaido University), Yuta Nozaki (Hokkaido University), Takehiro Ito (Tohoku University)
12:05-12:30 SAT-based ASP Solving and Optimization via a General Transitive Closure Framework
Masood Feyzbakhsh Rankooh (University of Helsinki), Matti Järvisalo (University of Helsinki)

Lunch 12:30 - 14:00

Learning for planning 14:00 - 15:35

Chair: Hector Geffner

14:00-14:25 Learning Numeric Planning Domain Models From Positive Observations
Omar Watted (Ben Gurion University of the Negev), Argaman Mordoch (Ben Gurion University of the Negev), Roni Stern (Ben Gurion University of the Negev)
14:25-14:50 From Next Token Prediction to (STRIPS) World Models
Carlos Núñez-Molina (RWTH Aachen University), Vicenç Gómez (Universitat Pompeu Fabra), Hector Geffner (RWTH Aachen University)
14:50-15:15 Learning Lifted Action Models from Traces with Minimal Information About Actions and States
Jonas Gösgens (RWTH Aachen University), Niklas Jansen (RWTH Aachen University), Hector Geffner (RWTH Aachen University)
15:15-15:35 Learning Broadcast Protocols
Dana Fisman (Ben-Gurion University of the Negev), Noa Izsak (CISPA Helmholtz Center for Information Security), Swen Jacobs (CISPA Helmholtz Center for Information Security)

Coffee Break 15:35 - 16:00

Temporal reasoning 16:00 - 18:00

Chair: Kees van Berkel

16:00-16:25 Generating Explainable Counterfactual Policies through Temporal Logic Queries
Arnaud Lequen (Linköpings Universitet), Clément Legrand-Lixon (Université de Lille), Léo Saulières (University of Toulouse, INRAE-MIAT)
16:25-16:50 Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic
Simone Silvetti (University of Trieste), Ivan Compagnucci (Gran Sasso Science Institute), Francesca Cairoli (University of Trieste), Catia Trubiani (Gran Sasso Science Institute), Laura Nenzi (University of Trieste)
16:50-17:10 Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
Rustam Galimullin (University of Bergen), Wojciech Jamroga (Institute of Computer Science, Polish Academy of Sciences), Damian Kurpiewski (Institute of Computer Science, Polish Academy of Sciences), Vadim Malvone (Telecom Paris), Aniello Murano (University of Naples Federico II)
17:10-17:35 Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification
Konrad K. Dabrowski (Newcastle University), Peter Jonsson (Linköping University), Sebastian Ordyniak (University of Leeds), George Osipov (Linköping University), Jorke de Vlas (Linköping University)
17:35-18:00 AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications
Matías Brizzio (IMDEA Software Institute and Universidad Politécnica de Madrid), Andoni Rodriguez (IMDEA Software Institute and Universidad Politécnica de Madrid), Cesar Sanchez (IMDEA Software Institute), Renzo Degiovanni (Luxembourg Institute of Science and Technology)

Banquet 19:00 - 23:00

Keynote 09:00 - 10:00

Coffee Break 10:00 - 10:30

Epistemic logic 11:40 - 12:30

Chair: Kai Sauerwald

11:40-12:05 A Logic of Limited Belief with Introspection Based on Possible Worlds
Gerhard Lakemeyer (RWTH Aachen University), Hector J. Levesque (University of Toronto)
12:05-12:30 Cops only need factual knowledge to catch robbers
Dazhu Li (University of Chinese Academy of Sciences), Sujata Ghosh (Indian Statistical Institute)

Lunch 12:30 - 14:00

Preferences 14:00 - 15:15

Chair: Gerd Brewka

14:00-14:25 On Sufficient Conditions for Consistency Checking in CP-theory Preferences
Erik Rauer (Iowa State University), Samik Basu (Iowa State University)
14:25-14:50 Voting Compilation Revisited
Yann Chevaleyre (LAMSADE, PSL), Jérôme Lang (LAMSADE, CNRS, PSL), Nicolas Maudet (LIP6 - Sorbonne Université)
14:50-15:15 Reasoning about Welfare-Affecting Capabilities in Concurrent Games
Yinfeng Li (IRIT), Emiliano Lorini (IRIT-CNRS)

Coffee Break 15:35 - 16:00

Argumentation and applications 16:00 - 18:00

Chair: Eduardo Fermé

16:00-16:25 Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework
Sheng Wei (The College of Computer Science and Technology, Zhejiang University), Yulin Chen (The College of Computer Science and Technology, Zhejiang University), Beishui Liao (School of Philosophy, Zhejiang University)
16:25-16:50 Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative Debates
Elena Cabrio (Université Côte d'Azur), Victor David (Inria), Anthony Hunter (University College London), Pierre Monnin (Inria), Nino Pireaud (Université Côte d'Azur)
16:50-17:10 Evaluating LLM-Driven Summarisation of Parliamentary Debates with Computational Argumentation
Eoghan Cunningham (University College Dublin), James Cross (University College Dublin), Derek Greene (University College Dublin), Antonio Rago (King's College London)
17:10-17:35 Argumentation for Explainable and Globally Contestable Decision Support with LLMs
Adam Dejl (Imperial College London), Matthew Williams (Imperial College London), Francesca Toni (Imperial College London)
17:35-18:00 X-ABALearn: Argumentative Learning with Semantics `a la Carte
Emanuele De Angelis (CNR-IASI), Maurizio Proietti (CNR-IASI), Francesca Toni (Imperial)

Banquet 19:00 - 23:00

Schedule for 2026-07-23

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

23:00

Room 1

Room 2

Room 3

KR Invited: Joao Marques-Silva 09:00 - 10:00

Chair: Renata Wassermann

09:00-10:00 Rigorous Explainability by Feature Attribution: From SHAP to nuSHAP
Joao Marques-Silva (ICREA (Catalan Institution for Research and Advanced Studies))

Coffee Break 10:00 - 10:30

Neural-symbolic learning and logic 10:30 - 12:30

Chair: Stylianos Vasileiou

10:30-10:55 Gradient-Based Optimization on Gödel Logic as Discrete Local Search
Alessandro Daniele (Fondazione Bruno Kessler, Free University of Bozen-Bolzano), Emile van Krieken (Vrije Universiteit Amsterdam)
10:55-11:20 Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
Davide Bizzaro (University of Padova, Fondazione Bruno Kessler), Alessandro Daniele (Fondazione Bruno Kessler, Free University of Bozen-Bolzano)
11:20-11:45 Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
Akihiro Takemura (National Institute of Informatics), Katsumi Inoue (National Institute of Informatics), Masaaki Nishino (NTT, Inc.)
11:45-12:05 Graph-Based Attention for Differentiable MaxSAT Solving
Sota Moriyama (The Graduate University of Advanced Studies, SOKENDAI and NII), Katsumi Inoue (NII)
12:05-12:30 SC$^2$: Safe Control via Shielding for CPCTL specifications
Edwin Hamel-De le Court (University of Manchester), Gaspard Ohlmann, Francesco Belardinelli (Imperial College London)

Lunch 12:30 - 14:00

Machine learning and explanation 14:00 - 16:00

Chair: Nico Potyka

14:00-14:25 RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions
Hui Yang (University of Manchester), Jiaoyan Chen (University of Manchester)
14:25-14:50 A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
Gilles Audemard (Université d'Artois,), Sylvie Coste-Marquis (Université d'Artois), Pierre Marquis (Université d'Artois), Mehdi SABIRI (Université d'Artois), Nicolas Szczepanski (Université d'Artois)
14:50-15:15 Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction
Chang Lu (Yale University), Renate A. Schmidt (The University of Manchester), Yizheng Zhao (Nanjing University)
15:15-15:40 Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
Artem Chernobrovkin (Gran Sasso Science Institute), Marco Sälzer (RPTU, Technical University of Kaiserslautern), François Schwarzentruber (École normale supérieure de Lyon), Nicolas Troquard (Gran Sasso Science Institute)
15:40-16:00 Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement
Stylianos Loukas Vasileiou (New Mexico State University), Minh Nguyen (New Mexico State University), Tran Cao Son (New Mexico State University), Huiping Cao (New Mexico State University), Enrico Pontelli (New Mexico State University)

Coffee Break 16:00 - 16:30

KR closing session 16:30 - 17:00

Coffee Break 10:00 - 10:30

Argumentation 2 10:30 - 12:30

Chair: Nico Potyka

10:30-10:55 Splitting Assumption-Based Argumentation Frameworks
Giovanni Buraglio (TU Wien), Wolfgang Dvořák (TU Wien), Stefan Woltran (TU Wien)
10:55-11:15 Computational Complexity in Timed Argumentation Frameworks
Jean-Guy Mailly (IRIT, Université Toulouse Capitole), Frédéric Maris (IRIT, Université de Toulouse), Johannes P. Wallner (TU Graz)
11:15-11:40 Splitting Argumentation Frameworks with Collective Attacks and Supports
Giovanni Buraglio (TU Wien), Lydia Blümel (FernUniversität in Hagen), Matti Berthold (FernUniversität in Hagen), Anna Rapberger (TU Dortmund)
11:40-12:05 Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships
Jonathan Ben-Naim (IRIT), Victor David (Inria), Anthony Hunter (University College London)
12:05-12:30 Proof-search for normative and doxastic reasoning and its use in logical argumentation
Kees van Berkel (TU Wien), Andrea Sabatini (Scuola Normale Superiore di Pisa)

Lunch 12:30 - 14:00

Answer Set Programming 2 14:00 - 16:00

Chair: Matthias Knorr

14:00-14:25 Using ASP(Q) to Handle Inconsistent Prioritized Data
Meghyn Bienvenu (CNRS & University of Bordeaux), Camille Bourgaux (CNRS & DI ENS), Robin Jean (CNRS & University of Bordeaux), Giuseppe Mazzotta (University of Calabria)
14:25-14:50 Probabilistic Reasoning within Answer Set Programming with Quantifiers
Damiano Azzolini (University of Ferrara), Giuseppe Mazzotta (University of Calabria), Francesco Ricca (University of Calabria)
14:50-15:10 2-ASP(Q) Solving Based on CEGAR
Andrea Cuteri (University of Calabria), Giuseppe Mazzotta (University of Calabria), Francesco Ricca (University of Calabria)
15:10-15:35 Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
Yvon K. AWUKLU (CNRS & Université de Bordeaux & CHU de Bordeaux), Meghyn Bienvenu (CNRS & Université de Bordeaux), Katsumi Inoue (NII), Fleur Mougin (Université de Bordeaux), Vianney Jouhet (CHU de Bordeaux & Université de Bordeaux)
15:35-16:00 ALM–ASP: A Functional Agentic Architecture for Answer Set Programming
Luis Angel Rodriguez Reiners (Department of Mathematics and Computer Science - University of Calabria), Alice Tarzariol (Alpen-Adria Universität Klagenfurt), Mario Alviano (Department of Mathematics and Computer Science - University of Calabria), Manuel Borroto Santana (Department of Mathematics and Computer Science - University of Calabria), Konstantin Schekotihin (Alpen-Adria Universität Klagenfurt)

Coffee Break 16:00 - 16:30

Coffee Break 10:00 - 10:30

Description logic and learning 10:30 - 12:25

Chair: Anni-Yasmin Turhan

10:30-10:55 Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
Marvin Grosser (Universität Leipzig), Carsten Lutz (Universität Leipzig)
10:55-11:15 PAC Learning of Concept Inclusions for Ontology-Mediated Query Answering
Sergei Obiedkov (TU Dresden), Barış Sertkaya (Frankfurt University of Applied Sciences)
11:15-11:35 The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic (Extended Abstract)
Bernardo Cuenca Cuenca Grau (University of Oxford), Eva Feng (University of Oxford), Przemysław Wałęga (Queen Mary University of London)
11:35-12:00 DeepEL: Deep Learning and Formal Description Logic Reasoning
Alessandro Longato (University of Milano-Bicocca), Ignacio ihuitzil@unizar.es, Rafael Peñaloza (University of Milano-Bicocca)
12:00-12:25 BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
Bruno F. Lourenço (The Institute of Statistical Mathematics), Hesham Morgan (TU Wien), Ana Ozaki (University of Oslo), Aleksandar Pavlović (University of Applied Science FH Campus Wien), Emanuel Sallinger (TU Wien)

Lunch 12:30 - 14:00

Beyond SAT 14:00 - 15:40

Chair: Alexis de Colnet

14:00-14:25 Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
Uriya Bartal (The Open University of Israel), Dror Fried (The Open University of Israel), Jean-Marie Lagniez (CRIL)
14:25-14:50 Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games
Ari Conati (University of Helsinki), Andreas Niskanen (University of Helsinki), Ronald de Haan (University of Amsterdam), Matti Järvisalo (University of Helsinki)
14:50-15:15 BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
Samuel Pastva (Faculty of Informatics, Masaryk University, Brno, Czechia), Van-Giang Trinh (Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT), VNU-HCM, Ho Chi Minh City, Vietnam)
15:15-15:40 Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
Leif Eriksson, Victor Lagerkvist (Linköping university), Sebastian Ordyniak (University of Leeds), George Osipov (Linköping University), Fahad Panolan (University of Leeds), Mateusz Rychlicki

Coffee Break 16:00 - 16:30