KR — PROGRAM

Days: Monday, 20 July 2026 Tuesday, 21 July 2026 Wednesday, 22 July 2026 Thursday, 23 July 2026

Monday, 20 July 2026
10:00-10:30 Coffee Break KR
Location: Grande Auditório
10:00-10:30 Coffee Break KR
Location: B1.03
10:00-10:30 Coffee Break KR
Location: B2.03
10:30-11:00 KR Opening KR
Location: Grande Auditório
11:00-12:40 Probability KR
Session Chair:
Gaby Kern-Isberner
Location: B2.03
11:00-11:25
Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic (abstract) 25 min
Daniil Kozhemiachenko1, Igor Sedlár2
1 Aix-Marseille Univ, Laboratoire d'informatique et des systemes, CNRS
2 The Czech Academy of Sciences, Institute of Computer Science
11:25-11:50
Probabilistic Abduction in a Fuzzy Logic Framework (abstract) 25 min
Tommaso Flaminio1, Katsumi Inoue2, Daniil Kozhemiachenko3
1 IIIA --- CSIC, Campus de la UAB, Bellaterra, Barcelona, Spain
2 NII
3 Aix-Marseille Univ, Laboratoire d'informatique et des systemes, CNRS
11:50-12:15
A Probabilistic Framework for Hierarchical Goal Recognition (abstract) 25 min
Chenyuan Zhang1, Katherine Ip2, Hamid Rezatofighi1, Buser Say1, Mor Vered1
1 Monash University
2 University of Melbourne
12:15-12:40
Large Language Models as Nondeterministic Causal Models (abstract) 25 min
Sander Beckers1
1 University College London
11:00-12:40 Knowledge compilation KR
Session Chair:
Sebastian Rudolph
Location: B1.03
11:00-11:25
A Distributed Framework for Compiling and Reasoning with d-DNNF (abstract) 25 min
Zhenghang Xu1, Minghao Yin1, Jianan Wang1, Jean Marie Lagniez2
1 Northeast Normal University
2 CRIL
11:25-11:50
From Tensor Networks to Tractable Circuits, and back (abstract) 25 min
Arend-Jan Quist1, Marc Farreras1, Alexis de Colnet1, John van de Wetering2, Alfons Laarman1
1 Leiden University
2 University of Amsterdam
11:50-12:15
Compiling Defeasible Inference: A Dynamic Approach To System Z (abstract) 25 min
Luke Slater1, Thomas Meyer1, Jesse Heyninck2
1 University of Cape Town
2 Open University, Heerlen
12:15-12:40
Knowledge Compilation for Quantification in Alternating Automata (abstract) 25 min
Niklas Metzger1, Alfredo Cantarella1, Bernd Finkbeiner1, Supratik Chakraborty2, S. Akshay2
1 CISPA Helmholtz Center for Information Security
2 Indian Institute of Technology Bombay
11:00-12:40 Argumentation 1 KR
Session Chair:
Eduardo Fermé
Location: Grande Auditório
11:00-11:25
Computing Extensions of Abstact Argumentation Frameworks by Enumerating Closed Sets (abstract) 25 min
Sergei Obiedkov1, Barış Sertkaya2
1 TU Dresden
2 Frankfurt University of Applied Sciences
11:25-11:50
Tenability and Weak Semantics: Modeling Non-uniform Defense (abstract) 25 min
Uri Andrews1, Luca San Mauro2, John Spoerl1
1 University of Wisconsin -- Madison
2 University of Bari
11:50-12:15
Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks (abstract) 25 min
Jordan Thieyre1, Aurélie Beynier1, Sébastien Destercke2, Nicolas Maudet1, Srdjan Vesic3
1 LIP6, CNRS - Sorbonne Université
2 Université de technologie de Compiègne, CNRS, Heudiasyc
3 CRIL, CNRS - Univ. Artois
12:15-12:40
Contestability in Edge-Weighted Quantitative Bipolar Argumentation Frameworks (abstract) 25 min
Xiang Yin1, Nico Potyka2, Antonio Rago3, Timotheus Kampik4, Francesca Toni1
1 Imperial College London
2 Cardiff University
3 King's College London
4 Umeå University
12:40-14:00 Lunch KR
Location: Grande Auditório
12:40-14:00 Lunch KR
Location: B1.03
12:40-14:00 Lunch KR
Location: B2.03
14:00-15:35 Reasoning on actions KR
Session Chair:
Yves Lesperance
Location: B2.03
14:00-14:25
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems (abstract) 25 min
Rustam Galimullin1, Hermine Grosinger2, Munyque Mittelmann3
1 University of Bergen
2 Örebro University
3 LIPN, CNRS
14:25-14:50
Specifying Agent Strategy Spaces via LTL Synthesis (abstract) 25 min
Benjamin Aminof1, Giuseppe De Giacomo2, Aniello Murano3, Sasha Rubin4
1 Technical University of Vienna, Austria
2 University of Oxford, UK
3 University of Naples “Federico II’, Italy
4 University of Sydney, Australia
14:50-15:15
Revisiting Ability-Based Bisimulation (abstract) 25 min
Carlos Areces1, Raul Fervari1, Antonio Mondejar2
1 Consejo Nacional de Investigaciones Científicas (CONICET) and Universidad Nacional de Córdoba, Argentina
2 Universidad Nacional de Córdoba, Argentina
15:15-15:35
Reasoning over Streams of Events with Delayed Effects (abstract) 20 min
Periklis Mantenoglou1, Manolis Pitsikalis2, Alexander Artikis3
1 Örebro University
2 NCSR “Demokritos”
3 NCSR “Demokritos” & University of Piraeus
14:00-15:35 Abduction and diagnosis KR
Session Chair:
Patrick Koopmann
Location: B1.03
14:00-14:25
ABD: Default–Exception Abduction in Finite First-Order Worlds (abstract) 25 min
Serafim Batzoglou1
1 Seer
14:25-14:50
But Not Because You Said So! Implicitly Accepting Information with Abductive Belief-Base Change (abstract) 25 min
Moritz Bayerkuhnlein1, Özgür Lütfü Özcep2, Diedrich Wolter1
1 University of Lübeck
2 University of Hamburg
14:50-15:15
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics (abstract) 25 min
Anselm Haak1, Patrick Koopmann2, Yasir Mahmood1, Anni-Yasmin Turhan1
1 Paderborn University
2 Vrije Universiteit Amsterdam
15:15-15:35
Summary of: On Validating Propositional Logic System Descriptions for Fault Diagnosis (abstract) 20 min
Alexander Diedrich1, Lukas Moddemann1, Oliver Niggemann1
1 Helmut-Schmidt-University
14:00-15:35 Belief change and epistemic logic KR
Session Chair:
Sebastien Konieczny
Location: Grande Auditório
14:00-14:25
Revealed Epistemic Trust (abstract) 25 min
Xu Li1, Leon van der Torre1, Liuwen Yu2
1 University of Luxembourg
2 Luxembourg Institute of Science and Technology
14:25-14:50
Suspending Judgement: belief contraction in dynamic epistemic logic (abstract) 25 min
Alexandru Baltag1, Virginie Fiutek2, Sonja Smets1
1 ILLC, University of Amsterdam
2 Independent Researcher
14:50-15:15
A Study of Belief Revision Postulates in Multi-Agent Systems (abstract) 25 min
Michael Thielscher1, Tran Cao Son2
1 University of New South Wales
2 New Mexico State University
15:15-15:35
Model Change for Description Logic Concepts (abstract) 20 min
Ana Ozaki1, Jandson S Ribeiro2
1 University of Oslo
2 Cardiff University
15:35-16:00 Coffee Break KR
Location: Grande Auditório
15:35-16:00 Coffee Break KR
Location: B1.03
15:35-16:00 Coffee Break KR
Location: B2.03
16:00-17:00 KR Invited: Magdalena Ortiz KR
Session Chair:
Marie-Laure Mugnier
Location: Grande Auditório
16:00-17:00
It's all Connected: Knowledge Representation for Graph Data (abstract) 60 min
Magdalena Ortiz1
1 TU Wien (Vienna University of Technology)
Tuesday, 21 July 2026
09:00-10:00 KR invited: Carsten Lutz KR
Session Chair:
Franz Baader
Location: Grande Auditório
09:00-10:00
The Logical Expressive Power of Graph Neural Networks (abstract) 60 min
Carsten Lutz1
1 Leipzig University
10:00-10:30 KR awards KR
Session Chair:
Tommie Meyer
Location: Grande Auditório
10:30-11:00 Coffee Break KR
Location: Grande Auditório
10:30-11:00 Coffee Break KR
Location: B1.03
10:30-11:00 Coffee Break KR
Location: B2.03
11:00-12:35 Nonmonotonic logic KR
Session Chair:
Tommie Meyer
Location: Grande Auditório
11:00-11:25
Beyond Consistency: A Closer Look at Free Formulas (abstract) 25 min
Ofer Arieli1, Badran Raddaoui2, Christian Strasser3
1 The Academic College of Tel-Aviv
2 Télécom SudParis, Polytechnic Institute of Paris
3 Ruhr Universität Bochum
11:25-11:50
Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (abstract) 25 min
Xavier Parent1
1 TU Wien
11:50-12:15
Safely Decomposing Conditional Belief Bases Into c-LEG Networks (abstract) 25 min
Gabriele Kern-Isberner1, Alexander Hahn1, Lars-Phillip Spiegel2, Marco Wilhelm3, Christoph Beierle2
1 Technische Universität Dortmund
2 FernUniversität in Hagen
3 Federal Institute for Occupational Safety and Health
12:15-12:35
Representation Theorems for Cumulative Propositional Dependence Logics (abstract) 20 min
Juha Kontinen1, Arne Meier2, Kai Sauerwald3
1 University of Helsinki
2 Leibniz University Hannover
3 FernUniversität in Hagen
11:00-12:35 Graph Data KR
Session Chair:
Andreas Pieris
Location: B1.03
11:00-11:25
Common Foundations for Recursive Shape Languages (abstract) 25 min
Shqiponja Ahmetaj1, Iovka Boneva2, Jan Hidders3, Maxime Jakubowski1, Jose-Emilio Labra-Gayo4, Wim Martens5, Fabio Mogavero6, Filip Murlak7, Cem Okulmus8, Ognjen Savkovic9, Mantas Šimkus1, Dominik Tomaszuk10
1 TU Wien
2 University of Lille
3 Birkbeck, University of London
4 University of Oviedo
5 University of Bayreuth
6 Universita di Napoli Federico II
7 University of Warsaw
8 Paderborn University
9 Free University of Bolzano
10 University of Bialystok
11:25-11:50
Static Analysis of Recursive SHACL (abstract) 25 min
Anouk Michelle Oudshoorn1, Magdalena Ortiz1, Mantas Simkus1
1 Institute of Logic and Computation, TU Wien
11:50-12:15
Almost Certain Query Answering over Incomplete Relational and Graph Data (abstract) 25 min
Heng Liu1, Leonid Libkin2, Eugenia Ternovska1
1 Simon Fraser University
2 RelationalAI & University of Edinburgh
12:15-12:35
A Simple Baseline for Inductive Knowledge Base Completion (abstract) 20 min
Christian Meilicke1, Rainer Gemulla1, Julie Naegelen1, Heiner Stuckenschmidt1
1 University of Mannheim
11:00-11:45 Doctoral Consortium (talks) KR
Location: B2.03
11:00-11:09
Introduction (abstract) 9 min
David Carral1, Munyque Mittelmann2
1 INRIA Sophia Antipolis, France
2 CNRS Paris, France
11:09-11:12
ASP Encodings for Multi-Commodity Batch Scheduling in Logistics Networks (abstract) 3 min
Racquel Dennison1, Jesse Heyninck2, Thomas Meyer1
1 University Of Cape Town
2 Open Universiteit - the Netherlands
11:12-11:15
Knowledge-Based Stable Roommates Problems (abstract) 3 min
Müge Fidan1
1 Sabanci University
11:15-11:18
How Can Inconsistent Agents Become Consistent? (abstract) 3 min
Linda Gutsche1
1 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 (abstract) 3 min
Jane Imrie1
1 University of Cape Town
11:21-11:24
KLM-Style Defeasibility in Modal and Description Logics (abstract) 3 min
Nicholas Leisegang1
1 University of Cape Town and CAIR
11:24-11:27
Towards Defeasible Semantics for Symbolic Classifiers (abstract) 3 min
Ruvarashe Madzime1
1 University of the Western Cape
11:27-11:30
Integrating and Reasoning with Data-Induced Information: Knowledge Bases of Axioms and Learned Models (abstract) 3 min
Laura Papi1
1 Sapienza University of Rome
11:30-11:33
Defining Goals using Knowledge Representation for Aligned Reinforcement Learning (abstract) 3 min
Paulius Skaisgiris1
1 TU Wien
11:33-11:36
Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering (abstract) 3 min
Luke Slater1
1 University of Cape Town
11:36-11:39
Generalization in Reinforcement Learning from Logical Specifications (abstract) 3 min
Vignesh Subramanian1
1 Georgia Institute of Technology
11:39-11:42
A framework for Counterfactual Explainability in Graph Neural Networks (abstract) 3 min
Maria Myrto Villia1,2
1 computer Science Department, University of Crete, Greece
2 Institute of Computer Science, FORTH, Greece
11:42-11:45
Practical Methods for Concept Interpolation in Realistic Ontologies (abstract) 3 min
Xiaoshuang Yang1
1 Vrije Universiteit Amsterdam
11:45-12:45 Doctoral Consortium (posters) KR
Location: B2.03
12:35-14:00 Lunch KR
Location: Grande Auditório
12:35-14:00 Lunch KR
Location: B1.03
12:35-14:00 Lunch KR
Location: B2.03
14:00-16:00 Answer Set Programming 1 KR
Session Chair:
Michael Thielscher
Location: Grande Auditório
14:00-14:25
Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before (abstract) 25 min
Matthias Knorr1, Zeynep G. Saribatur2, Ricardo Gonçalves1
1 Universidade NOVA de Lisboa
2 TU Wien
14:25-14:50
A Normal Form for Rules Containing Arithmetic Operations (abstract) 25 min
Jorge Fandinno1, Yuliya Lierler1, Vladimir Lifschitz2
1 University of Nebraska Omaha
2 University of Texas at Austin
14:50-15:15
Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical Analysis (abstract) 25 min
Mutsunori Banbara1, Hideo Bannai2, Takashi Horiyama3, Dominik Koeppl4, Takuya Mieno5, Hidetomo Nabeshima4
1 Nagoya University
2 Institute of Science Tokyo
3 Hokkaido University
4 University of Yamanashi
5 The University of Electro-Communications
15:15-15:40
Probabilistic Reasoning within Answer Set Programming with Quantifiers (abstract) 25 min
Damiano Azzolini1, Giuseppe Mazzotta2, Francesco Ricca2
1 University of Ferrara
2 University of Calabria
15:40-16:00
Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again (abstract) 20 min
Wolfgang Dvorak1, Zeynep G. Saribatur1, Stefan Woltran1
1 TU Wien
14:00-15:55 Description logics and databases KR
Session Chair:
Magdalena Ortiz
Location: B1.03
14:00-14:25
Partially Finite Model Reasoning in Description Logics (abstract) 25 min
Tomasz Gogacz1, Filip Murlak1, Marcin Przybyłko1, Alexandra Rogova1, Michał Skrzypczak1
1 University of Warsaw
14:25-14:50
How Hard is it to Decide if a Fact is Relevant to a Query? (abstract) 25 min
Meghyn Bienvenu1, Diego Figueira1, Pierre Lafourcade1
1 CNRS & University of Bordeaux
14:50-15:15
Complexity of Logics with Semiring Semantics (abstract) 25 min
Timon Barlag1, Nicolas Fröhlich1, Teemu Hankala2, Miika Hannula3, Minna Hirvonen1, Vivian Holzapfel1, Juha Kontinen2, Arne Meier1, Laura Strieker1
1 Leibniz Universität Hannover
2 University of Helsinki
3 University of Tartu and University of Helsinki
15:15-15:35
Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics (abstract) 20 min
Meghyn Bienvenu1, Quentin Manière2
1 CNRS & University of Bordeaux
2 Inria
15:35-15:55
Inclusion with Repetitions and Boolean Constants — Implication Problems Revisited (abstract) 20 min
Matilda Häggblom1
1 University of Helsinki
14:00-16:00 Explanation KR
Session Chair:
Antonio Rago
Location: B2.03
14:00-14:25
Precise and Efficient Model-Agnostic Explanations (abstract) 25 min
Jairo Lefebre-Lobaina1, Maria Vanina Martinez1, Joao Marques-Silva2
1 Artificial Intelligence Research Institute - IIIA - CSIC
2 ICREA & Univ. Lleida
14:25-14:50
Model-Agnostic Explanations by Consensus (abstract) 25 min
Carlos Mencía1, Ramon Béjar2, Raúl Mencía1, Joao Marques-Silva3
1 University of Oviedo
2 Universitat de Lleida
3 ICREA & University of Lleida
14:50-15:15
Explaining Classification Through Global Sufficient Reasons and its Complexity (abstract) 25 min
Marco Calautti1, Enrico Malizia2, Cristian Molinaro3
1 University of Milano
2 University of Bologna
3 University of Calabria
15:15-15:35
A Map–Summarize Framework for Answer Set Verbalization (abstract) 20 min
Mario Alviano1, Matteo Capalbo1, Sebastiano Antonio Piccolo1
1 Department of Mathematics and Computer Science - University of Calabria
15:35-16:00
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas (abstract) 25 min
Fabian Vehlken1, Thomas Zeume1, Emilio Carrasco Bustamante2, Maëlle Cornély3, Lukas Pradel1
1 Ruhr University Bochum
2 TU Dortmund University
3 Université Paris-Saclay, ENS Paris-Saclay
16:00-16:30 Coffee Break KR
Location: Grande Auditório
16:00-16:30 Coffee Break KR
Location: B1.03
16:00-16:30 Coffee Break KR
Location: B2.03
16:30-18:35 Datalog and existential rules KR
Session Chair:
Leonid Libkin
Location: B2.03
16:30-16:55
Why(-Not)-Provenance for Datalog with Negation (abstract) 25 min
Bart Bogaerts1, Marco Calautti2, Andreas Pieris3, Samuele Pollaci4, Robbe Van den Eede1
1 KU Leuven and Vrije Universiteit Brussel
2 University of Milano
3 University of Cyprus & University of Edinburgh
4 Vrije Universiteit Brussel and KU Leuven
16:55-17:20
Efficient Temporal Datalog Materialisation for Composite Event Recognition (abstract) 25 min
Periklis Mantenoglou1
1 Örebro University
17:20-17:45
Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog (abstract) 25 min
Mathijs van Noort1, Przemyslaw Walega2
1 Ghent University - imec
2 Queen Mary University of London
17:45-18:10
The Chase in Lean - Crafting a Formal Library for Existential Rule Research (abstract) 25 min
Lukas Gerlach1
1 TU Dresden
18:10-18:35
VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows (abstract) 25 min
Teodoro Baldazzi1, Luigi Bellomarini2, Andrea Coletta2, Michela Iezzi2, Carsten Maple3, Alessandro Pesare1, Emanuel Sallinger1
1 TU Wien
2 Banca d’Italia
3 University of Warwick
16:30-18:35 Planning KR
Session Chair:
Gerhard Lakemeyer
Location: B1.03
16:30-16:55
Over All, PDDL Semantics is Simultaneously Simple and Hard to Get Right (abstract) 25 min
Nicola Gigante1, Andrea Micheli2, Enrico Scala3, Alessandro Valentini2
1 Free University of Bozen-Bolzano
2 Fondazione Bruno Kessler
3 University of Brescia
16:55-17:20
Synthesis Foundations for Online LTLf Goal Management (abstract) 25 min
Giuseppe De Giacomo1, Yves Lespérance2, Gianmarco Parretti3, Fabio Patrizi3
1 University of Oxford & Sapienza Università di Roma
2 York University
3 Sapienza Università di Roma
17:20-17:45
On-the-fly LTLf Synthesis under Partial Observability (abstract) 25 min
Nadav Alon1, Supratik Chakraborty2, Alexandre Duret-Lutz3,7, Dror Fried1, Lucas Martinelli Tabajara4, Moshe Y. Vardi5, Shufang Zhu6
1 The Open University of Israel
2 IIT Bombay
3 LRE
4 Runtime Verification Inc.
5 Rice University
6 University of Liverpool
7 EPITA
17:45-18:10
Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus (abstract) 25 min
Giuseppe De Giacomo1, Yves Lespérance2, Matteo Mancanelli3, Gianmarco Parretti3
1 University of Oxford
2 York University
3 University of Rome La Sapienza
18:10-18:35
Optimal In-Station Train Dispatching via Symbolic Pattern Planning (abstract) 25 min
Matteo Cardellini1, Enrico Giunchiglia1, Davide Anguita1, Carmelo Lofiego2, Luca Oneto1, Pietro Ratto2
1 Università degli Studi di Genova
2 Hitachi Rail STS
16:30-18:35 Neural-symbolic learning KR
Session Chair:
Mena Leemhuis
Location: Grande Auditório
16:30-16:55
Semantic Foundations of Neuro-Symbolic Multi-Agent Systems (abstract) 25 min
Julian Gutierrez1
1 University of Sussex
16:55-17:20
Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic (abstract) 25 min
Manuel Vargas Guzmán1, Jakub Szymanik2, Maciej Malicki1
1 University of Warsaw
2 University of Trento
17:20-17:45
Symbolic Knowledge Transfer for Sample-Efficient Deep Reinforcement Learning (abstract) 25 min
Celeste Veronese1, Alessandro Farinelli1, Daniele Meli1
1 University of Verona
17:45-18:10
SafeTap: Neurosymbolic Language to Quadrupedal Locomotion via Reactive Synthesis Modulo Bitvectors (abstract) 25 min
Andoni Rodriguez1, Cesar Sanchez2
1 IMDEA Software Institute, , Universidad Politecnica de Madrid
2 IMDEA Software Institute
18:10-18:35
Neuro-Symbolic Causal Boosting: A Framework for Interpretable Attribution of Business Fluctuations (abstract) 25 min
Yonghe Zhao1, Yuezhu Wang2, Chao Ma1, Huiyan Sun2
1 Mashang Consumer Finance Co., Ltd.
2 School of Artificial Intelligence, Jilin University
Wednesday, 22 July 2026
10:00-10:30 Coffee Break KR
Location: Grande Auditório
10:00-10:30 Coffee Break KR
Location: B1.03
10:00-10:30 Coffee Break KR
Location: B2.03
10:30-11:30 Diversity and inclusion KR
Location: Grande Auditório
10:30-11:30
What Would You Do? Dilemmas from Academic Life (abstract) 60 min
Lucia Gomez1, Sanja Lukumbuzya2, Vanina Martinez3
1 Inria
2 TU Wien
3 IIIA - CSIC
11:40-12:30 Epistemic logic KR
Session Chair:
Kai Sauerwald
Location: B2.03
11:40-12:05
A Logic of Limited Belief with Introspection Based on Possible Worlds (abstract) 25 min
Gerhard Lakemeyer1, Hector J. Levesque2
1 RWTH Aachen University
2 University of Toronto
12:05-12:30
Cops only need factual knowledge to catch robbers (abstract) 25 min
Dazhu Li1, Sujata Ghosh2
1 University of Chinese Academy of Sciences
2 Indian Statistical Institute
11:40-12:30 SAT encoding KR
Session Chair:
Joao Marques-Silva
Location: B1.03
11:40-12:05
SRIP: A SAT-based System for Independent Set Reconfiguration (abstract) 25 min
Takehide Soh1, Akifumi Kuwahara2, Mutsunori Banbara1, Naoyuki Tamura2, Yasuaki Kobayashi3, Yuta Nozaki3, Takehiro Ito4
1 Nagoya University
2 Kobe University
3 Hokkaido University
4 Tohoku University
12:05-12:30
SAT-based ASP Solving and Optimization via a General Transitive Closure Framework (abstract) 25 min
Masood Feyzbakhsh Rankooh1, Matti Järvisalo1
1 University of Helsinki
11:40-12:25 Reinforcement learning and norms KR
Session Chair:
Gaby Kern-Isberner
Location: Grande Auditório
11:40-12:05
Scalable Learning of Challenging Normative Behaviours with Deep RL (abstract) 25 min
Emery Neufeld1, Thorsten Engesser1, Martin Tappler1
1 TU Wien
12:05-12:25
Normative Narrator: Guiding and Explaining Reinforcement Learning Agents (abstract) 20 min
Emery Neufeld1, Kees van Berkel1
1 TU Wien
12:30-14:00 Lunch KR
Location: Grande Auditório
12:30-14:00 Lunch KR
Location: B1.03
12:30-14:00 Lunch KR
Location: B2.03
14:00-15:35 Belief change KR
Session Chair:
Renata Wassermann
Location: Grande Auditório
14:00-14:20
AGM Belief Revision, Semantically (Extended Abstract) (abstract) 20 min
Sebastian Rudolph1, Kai Sauerwald2
1 TU Dresden
2 University of Hagen
14:20-14:45
Expressiveness of Epistemic Spaces for Iterated Belief Change Operators (abstract) 25 min
Nicolas Schwind1, Sébastien Konieczny2, Ramon Pino Perez3
1 National Institute of Advanced Industrial Science and Technology (AIST)
2 CRIL - CNRS
3 Universidad de Los Andes
14:45-15:10
Truth-Tracking by Iterated Belief Change (abstract) 25 min
Nicolas Schwind1, Patricia Everaere2, Sébastien Konieczny3
1 National Institute of Advanced Industrial Science and Technology (AIST)
2 Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France
3 CRIL - CNRS
15:10-15:35
Interval Orders, Biorders and Credibility-limited Belief Revision (abstract) 25 min
Richard Booth1, Ivan Varzinczak2
1 Cardiff University
2 Université Sorbonne Paris Nord
14:00-15:35 Learning for planning KR
Session Chair:
Hector Geffner
Location: B1.03
14:00-14:25
Learning Numeric Planning Domain Models From Positive Observations (abstract) 25 min
Omar Watted1, Argaman Mordoch1, Roni Stern1
1 Ben Gurion University of the Negev
14:25-14:50
From Next Token Prediction to (STRIPS) World Models (abstract) 25 min
Carlos Núñez-Molina1, Vicenç Gómez2, Hector Geffner1
1 RWTH Aachen University
2 Universitat Pompeu Fabra
14:50-15:15
Learning Lifted Action Models from Traces with Minimal Information About Actions and States (abstract) 25 min
Jonas Gösgens1, Niklas Jansen1, Hector Geffner1
1 RWTH Aachen University
15:15-15:35
Learning Broadcast Protocols (abstract) 20 min
Dana Fisman1, Noa Izsak2, Swen Jacobs2
1 Ben-Gurion University of the Negev
2 CISPA Helmholtz Center for Information Security
14:00-15:15 Preferences KR
Session Chair:
Gerd Brewka
Location: B2.03
14:00-14:25
On Sufficient Conditions for Consistency Checking in CP-theory Preferences (abstract) 25 min
Erik Rauer1, Samik Basu1
1 Iowa State University
14:25-14:50
Voting Compilation Revisited (abstract) 25 min
Yann Chevaleyre1, Jérôme Lang2, Nicolas Maudet3
1 LAMSADE, PSL
2 LAMSADE, CNRS, PSL
3 LIP6 - Sorbonne Université
14:50-15:15
Reasoning about Welfare-Affecting Capabilities in Concurrent Games (abstract) 25 min
Yinfeng Li1, Emiliano Lorini2
1 IRIT
2 IRIT-CNRS
15:35-16:00 Coffee Break KR
Location: Grande Auditório
15:35-16:00 Coffee Break KR
Location: B1.03
15:35-16:00 Coffee Break KR
Location: B2.03
16:00-18:00 Argumentation and applications KR
Session Chair:
Eduardo Fermé
Location: B2.03
16:00-16:25
Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework (abstract) 25 min
Sheng Wei1, Yulin Chen1, Beishui Liao2
1 The College of Computer Science and Technology, Zhejiang University
2 School of Philosophy, Zhejiang University
16:25-16:50
Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative Debates (abstract) 25 min
Elena Cabrio1, Victor David2, Anthony Hunter3, Pierre Monnin2, Nino Pireaud1
1 Université Côte d'Azur
2 Inria
3 University College London
16:50-17:10
Evaluating LLM-Driven Summarisation of Parliamentary Debates with Computational Argumentation (abstract) 20 min
Eoghan Cunningham1, James Cross1, Derek Greene1, Antonio Rago2
1 University College Dublin
2 King's College London
17:10-17:35
Argumentation for Explainable and Globally Contestable Decision Support with LLMs (abstract) 25 min
Adam Dejl1, Matthew Williams1, Francesca Toni1
1 Imperial College London
17:35-18:00
X-ABALearn: Argumentative Learning with Semantics `a la Carte (abstract) 25 min
Emanuele De Angelis1, Maurizio Proietti1, Francesca Toni2
1 CNR-IASI
2 Imperial
16:00-18:00 Temporal reasoning KR
Session Chair:
Kees van Berkel
Location: B1.03
16:00-16:25
Generating Explainable Counterfactual Policies through Temporal Logic Queries (abstract) 25 min
Arnaud Lequen1, Clément Legrand-Lixon2, Léo Saulières3
1 Linköpings Universitet
2 Université de Lille
3 University of Toulouse, INRAE-MIAT
16:25-16:50
Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic (abstract) 25 min
Simone Silvetti1, Ivan Compagnucci2, Francesca Cairoli1, Catia Trubiani2, Laura Nenzi1
1 University of Trieste
2 Gran Sasso Science Institute
16:50-17:10
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking (abstract) 20 min
Rustam Galimullin1, Wojciech Jamroga2, Damian Kurpiewski2, Vadim Malvone3, Aniello Murano4
1 University of Bergen
2 Institute of Computer Science, Polish Academy of Sciences
3 Telecom Paris
4 University of Naples Federico II
17:10-17:35
Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification (abstract) 25 min
Konrad K. Dabrowski1, Peter Jonsson2, Sebastian Ordyniak3, George Osipov2, Jorke de Vlas2
1 Newcastle University
2 Linköping University
3 University of Leeds
17:35-18:00
AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications (abstract) 25 min
Matías Brizzio1, Andoni Rodriguez1, Cesar Sanchez2, Renzo Degiovanni3
1 IMDEA Software Institute and Universidad Politécnica de Madrid
2 IMDEA Software Institute
3 Luxembourg Institute of Science and Technology
16:00-18:00 Expressivity of neural networks KR
Session Chair:
Carsten Lutz
Location: Grande Auditório
16:00-16:25
Unifying approach to uniform expressivity of graph neural networks (abstract) 25 min
Huan Luo1, Jonni Virtema1
1 University of Glasgow
16:25-16:50
Recurrent Graph Neural Networks and Arithmetic Circuits (abstract) 25 min
Timon Barlag1, Vivian Holzapfel1, Laura Strieker1, Jonni Virtema2, Heribert Vollmer1
1 Leibniz Universität Hannover
2 University of Glasgow
16:50-17:15
The Polynomial Counting Capabilities of Message Passing Neural Networks (abstract) 25 min
Marco Sälzer1, Pascal Bergsträßer2, Anthony W. Lin2
1 RPTU, Techinical University of Kaiserslautern
2 RPTU, Technical University of Kaiserslautern
17:15-17:35
Extended Abstract: Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2 (abstract) 20 min
Stan P Hauke1, Przemysław Andrzej Wałęga2
1 King's College London
2 Queen Mary University of London
17:35-18:00
How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks (abstract) 25 min
Stan P Hauke1, Przemysław Andrzej Wałęga2
1 King’s College London
2 Queen Mary University of London
Thursday, 23 July 2026
09:00-10:00 KR Invited: Joao Marques-Silva KR
Session Chair:
Renata Wassermann
Location: Grande Auditório
09:00-10:00
Rigorous Explainability by Feature Attribution: From SHAP to nuSHAP (abstract) 60 min
Joao Marques-Silva1
1 ICREA (Catalan Institution for Research and Advanced Studies)
10:00-10:30 Coffee Break KR
Location: Grande Auditório
10:00-10:30 Coffee Break KR
Location: B1.03
10:00-10:30 Coffee Break KR
Location: B2.03
10:30-12:30 Argumentation 2 KR
Session Chair:
Nico Potyka
Location: B1.03
10:30-10:55
Splitting Assumption-Based Argumentation Frameworks (abstract) 25 min
Giovanni Buraglio1, Wolfgang Dvořák1, Stefan Woltran1
1 TU Wien
10:55-11:15
Computational Complexity in Timed Argumentation Frameworks (abstract) 20 min
Jean-Guy Mailly1, Frédéric Maris2, Johannes P. Wallner3
1 IRIT, Université Toulouse Capitole
2 IRIT, Université de Toulouse
3 TU Graz
11:15-11:40
Splitting Argumentation Frameworks with Collective Attacks and Supports (abstract) 25 min
Giovanni Buraglio1, Lydia Blümel2, Matti Berthold2, Anna Rapberger3
1 TU Wien
2 FernUniversität in Hagen
3 TU Dortmund
11:40-12:05
Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships (abstract) 25 min
Jonathan Ben-Naim1, Victor David2, Anthony Hunter3
1 IRIT
2 Inria
3 University College London
12:05-12:30
Proof-search for normative and doxastic reasoning and its use in logical argumentation (abstract) 25 min
Kees van Berkel1, Andrea Sabatini2
1 TU Wien
2 Scuola Normale Superiore di Pisa
10:30-12:25 Description logic and learning KR
Session Chair:
Anni-Yasmin Turhan
Location: B2.03
10:30-10:55
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models (abstract) 25 min
Marvin Grosser1, Carsten Lutz1
1 Universität Leipzig
10:55-11:15
PAC Learning of Concept Inclusions for Ontology-Mediated Query Answering (abstract) 20 min
Sergei Obiedkov1, Barış Sertkaya2
1 TU Dresden
2 Frankfurt University of Applied Sciences
11:15-11:35
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic (Extended Abstract) (abstract) 20 min
Bernardo Cuenca Cuenca Grau1, Eva Feng1, Przemysław Wałęga2
1 University of Oxford
2 Queen Mary University of London
11:35-12:00
DeepEL: Deep Learning and Formal Description Logic Reasoning (abstract) 25 min
Alessandro Longato1, Ignacio ihuitzil@unizar.es, Rafael Peñaloza1
1 University of Milano-Bicocca
12:00-12:25
BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (abstract) 25 min
Bruno F. Lourenço1, Hesham Morgan2, Ana Ozaki3, Aleksandar Pavlović4, Emanuel Sallinger2
1 The Institute of Statistical Mathematics
2 TU Wien
3 University of Oslo
4 University of Applied Science FH Campus Wien
10:30-12:30 Neural-symbolic learning and logic KR
Session Chair:
Stylianos Vasileiou
Location: Grande Auditório
10:30-10:55
Gradient-Based Optimization on Gödel Logic as Discrete Local Search (abstract) 25 min
Alessandro Daniele1, Emile van Krieken2
1 Fondazione Bruno Kessler, Free University of Bozen-Bolzano
2 Vrije Universiteit Amsterdam
10:55-11:20
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration (abstract) 25 min
Davide Bizzaro1, Alessandro Daniele2
1 University of Padova, Fondazione Bruno Kessler
2 Fondazione Bruno Kessler, Free University of Bozen-Bolzano
11:20-11:45
Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning (abstract) 25 min
Akihiro Takemura1, Katsumi Inoue1, Masaaki Nishino2
1 National Institute of Informatics
2 NTT, Inc.
11:45-12:05
Graph-Based Attention for Differentiable MaxSAT Solving (abstract) 20 min
Sota Moriyama1, Katsumi Inoue2
1 The Graduate University of Advanced Studies, SOKENDAI and NII
2 NII
12:05-12:30
SC$^2$: Safe Control via Shielding for CPCTL specifications (abstract) 25 min
Edwin Hamel-De le Court1, Gaspard Ohlmann, Francesco Belardinelli2
1 University of Manchester
2 Imperial College London
12:30-14:00 Lunch KR
Location: Grande Auditório
12:30-14:00 Lunch KR
Location: B1.03
12:30-14:00 Lunch KR
Location: B2.03
14:00-16:00 Answer Set Programming 2 KR
Session Chair:
Matthias Knorr
Location: B1.03
14:00-14:25
Using ASP(Q) to Handle Inconsistent Prioritized Data (abstract) 25 min
Meghyn Bienvenu1, Camille Bourgaux2, Robin Jean1, Giuseppe Mazzotta3
1 CNRS & University of Bordeaux
2 CNRS & DI ENS
3 University of Calabria
14:25-14:50
Counting Complexity of ASP (abstract) 25 min
Max Bannach1, Johannes Fichte2, Johanna Groven2, Markus Hecher3
1 European Space Agency
2 Linköping University
3 CNRS, CRIL Lens
14:50-15:10
2-ASP(Q) Solving Based on CEGAR (abstract) 20 min
Andrea Cuteri1, Giuseppe Mazzotta1, Francesco Ricca1
1 University of Calabria
15:10-15:35
Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications (abstract) 25 min
Yvon K. AWUKLU1, Meghyn Bienvenu2, Katsumi Inoue3, Fleur Mougin4, Vianney Jouhet5
1 CNRS & Université de Bordeaux & CHU de Bordeaux
2 CNRS & Université de Bordeaux
3 NII
4 Université de Bordeaux
5 CHU de Bordeaux & Université de Bordeaux
15:35-16:00
ALM–ASP: A Functional Agentic Architecture for Answer Set Programming (abstract) 25 min
Luis Angel Rodriguez Reiners1, Alice Tarzariol2, Mario Alviano1, Manuel Borroto Santana1, Konstantin Schekotihin2
1 Department of Mathematics and Computer Science - University of Calabria
2 Alpen-Adria Universität Klagenfurt
14:00-15:40 Beyond SAT KR
Session Chair:
Alexis de Colnet
Location: B2.03
14:00-14:25
Efficient Incremental #SAT via Cross-Instance Knowledge Reuse (abstract) 25 min
Uriya Bartal1, Dror Fried1, Jean-Marie Lagniez2
1 The Open University of Israel
2 CRIL
14:25-14:50
Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games (abstract) 25 min
Ari Conati1, Andreas Niskanen1, Ronald de Haan2, Matti Järvisalo1
1 University of Helsinki
2 University of Amsterdam
14:50-15:15
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks (abstract) 25 min
Samuel Pastva1, Van-Giang Trinh2
1 Faculty of Informatics, Masaryk University, Brno, Czechia
2 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 (abstract) 25 min
Leif Eriksson, Victor Lagerkvist1, Sebastian Ordyniak2, George Osipov1, Fahad Panolan2, Mateusz Rychlicki
1 Linköping university
2 University of Leeds
14:00-16:00 Machine learning and explanation KR
Session Chair:
Nico Potyka
Location: Grande Auditório
14:00-14:25
RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions (abstract) 25 min
Hui Yang1, Jiaoyan Chen1
1 University of Manchester
14:25-14:50
A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees (abstract) 25 min
Gilles Audemard1, Sylvie Coste-Marquis2, Pierre Marquis2, Mehdi SABIRI2, Nicolas Szczepanski2
1 Université d'Artois,
2 Université d'Artois
14:50-15:15
Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction (abstract) 25 min
Chang Lu1, Renate A. Schmidt2, Yizheng Zhao3
1 Yale University
2 The University of Manchester
3 Nanjing University
15:15-15:40
Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable (abstract) 25 min
Artem Chernobrovkin1, Marco Sälzer2, François Schwarzentruber3, Nicolas Troquard1
1 Gran Sasso Science Institute
2 RPTU, Technical University of Kaiserslautern
3 École normale supérieure de Lyon
15:40-16:00
Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement (abstract) 20 min
Stylianos Loukas Vasileiou1, Minh Nguyen1, Tran Cao Son1, Huiping Cao1, Enrico Pontelli1
1 New Mexico State University
16:00-16:30 Coffee Break KR
Location: Grande Auditório
16:00-16:30 Coffee Break KR
Location: B1.03
16:00-16:30 Coffee Break KR
Location: B2.03
16:30-17:00 KR closing session KR
Location: Grande Auditório
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑