Preliminary Schedule

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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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:45 Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
    Wolfgang Dvorak (TU Wien) , Zeynep G. Saribatur (TU Wien) , Stefan Woltran (TU Wien)
  • 14:45-15:10 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)
  • 15:10-15:35 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:35-16:00 Counting Complexity of ASP
    Max Bannach (European Space Agency) , Johannes Fichte (Linköping University) , Johanna Groven (Linköping University) , Markus Hecher (CNRS, CRIL Lens)
Coffee Break 16:00 - 16:30
Neural-symbolic learning 16:30 - 18:35
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
Reinforcement learning and norms 11:40 - 12:25
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 10:30-10:55 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)
  • 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 Assumption-Based Argumentation Frameworks
    Giovanni Buraglio (TU Wien) , Wolfgang Dvořák (TU Wien) , Stefan Woltran (TU Wien)
  • 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
  • 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
  • 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
  • 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