Schedule

November 14

09:00 - 09:30

Opening

09:30 - 10:30

Keynote - Son Cao Tran | Session chair: Natasha Alechina

11:00 - 12:30

P&S - Planning | Session chair: Gabriele Röger

• Pushing the Envelope in Numeric Pattern Planning
  Matteo Cardellini and Enrico Giunchiglia
• Counterfactual Scenarios for Automated Planning
  Nicola Gigante, Francesco Leofante and Andrea Micheli
• Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems
  Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli and Stefano Tonetta

Main - ASP | Session chair: Esra Erdem

• Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms
  Damiano Azzolini and Markus Hecher
• A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming - [Video]
  Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca and Fabrizio Riguzzi
• FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
  Alexander Beiser, Martin Gebser, Markus Hecher and Stefan Woltran

13:30 - 15:30

P&S - Learning, Epistemic Planning | Session chair: Chenyuan Zhang

• Learning General Policies From Examples
  Blai Bonet and Hector Geffner
• Learning Lifted Action Models From Traces of Incomplete Actions and States
  Niklas Jansen, Jonas Gösgens and Hector Geffner
• Pruning with Belief Traps in Multi-agent Epistemic Planning
  Biqing Fang and Fangzhen Lin
• Depth-Bounded Epistemic Planning
  Thomas Bolander, Alessandro Burigana and Marco Montali

Main - Argumentation | Session chair: Anna Rapberger

• Grounding Rule-Based Argumentation Using Datalog
  Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso and Fritz Rauschenbach
• Sequence Explanations for Acceptance in Abstract Argumentation
  Lars Bengel and Matthias Thimm
• Extending Abstract Argumentation Frameworks with Knowledge Bases
  Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Francesco Parisi and Irina Trubitsyna
• A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation
  Lars Bengel, Julian Sander and Matthias Thimm

16:00 - 17:30

P&S - Description Logics, Probabilities | Session chair: Brian Logan

• Automated Planning with Ontologies under Coherence Update Semantics - [Video]
  Stefan Borgwardt, Duy Nhu and Gabriele Röger
• Probabilistic HTN Planning: Formalization and Computational Complexity Analysis
  Mohammad Yousefi, Johannes Schmalz, Patrik Haslum and Pascal Bercher
• Probabilistic Active Goal Recognition - [Video]
  Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Mor Vered and Buser Say

RPR - MaxSAT, Datalog, ASP | Session chair: Katsumi Inoue

• MaxSAT-Based Inconsistency Measurement
  Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm and Matti Järvisalo
• The Complexity of Why-Provenance for Datalog Queries - [Paper]
  Marco Calautti, Ester Livshits, Andreas Pieris and Markus Schneider
• Verifying Datalog Reasoning with Lean - [Paper] - [Video]
  Johannes Tantow, Lukas Gerlach, Stephan Mennicke and Markus Krötzsch
• A Sequent Calculus for Answer Set Entailment (Extended Abstract) - [Paper]
  Thomas Eiter and Tobias Geibinger
• Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming - [Paper]
  Yusuf Izmirlioglu and Esra Erdem
• Hybrid Planning for Challenging Construction Problems: An Answer Set Programming Approach - [Paper]
  Faseeh Ahmad, Volkan Patoglu and Esra Erdem

November 15

09:00 - 10:00

Keynote - David Pearce | Session chair: Torsten Schaub

10:00 - 11:00

Doctoral Consortium

11:30 - 13:00

P&S - Classical Planning | Session chair: Nicola Gigante

• Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning
  Paul Höft, David Speck and Jendrik Seipp
• Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
  Masood Feyzbakhsh Rankooh, Andreas Niskanen and Matti Järvisalo
• Domain-Independent Instance Generation for Classical Planning
  Claudia Grundke, Malte Helmert and Gabriele Röger
• A Planning Compilation to Reason about Goal Achievement at Planning Time
  Alberto Pozanco, Marianela Morales, Daniel Borrajo and Manuela Veloso

Main - Belief Change | Session chair: Sebastien Konieczny

• Belief Revision in a Probabilistic Setting - [Video]
  James Delgrande, Gerhard Lakemeyer, Joshua Sack and Maurice Pagnucco
• Effective AGM Belief Contraction: A Journey beyond the Finitary Realm
  Dominik Klumpp and Jandson S. Ribeiro
• Context-Based Belief Revision - [Video]
  Nicolas Schwind

Main - Reasoning under Inconsistency | Session chair: Sebastian Rudolph

• A Framework for Inconsistency-tolerant Reasoning with Sets of Models
  Yehia Hatab, Kai Sauerwald and Matthias Thimm
• A Logic-Based Framework for Database Repairs
  Nicolas Fröhlich, Arne Meier, Nina Pardal and Jonni Virtema
• A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
  Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue and Robin Jean

14:00 - 15:00

Keynote - Ana Ozaki | Session chair: Magdalena Ortiz

15:00 - 16:00

Diversity & Inclusion

• Tentative title: Doing anti-racism in higher education
  Speaker: Franka Vaughan
  Bio: Dr Franka Vaughan is a race relations researcher with a passion for social justice. She is currently a VicHealth Postdoctoral Research Fellow at the Nossal Institute for Global Health, University of Melbourne (2025-2028), leading a co-designed, whole-of-system approach to anti-racism. Her research explores global histories of race and colonialism, migration and diasporas, and the praxis of anti-racism in curriculum design and research. Franka is a leader and a dedicated advocate for building inclusive academic communities. Through her work with the African Studies Group at the University of Melbourne, she supports international students and emerging scholars engaged in exploring Africa's global connections and contributions

16:30 - 18:00

P&S - Temporal Logics | Session chair: Sheila McIlraith

• Explanations for Unrealizability of Infinite-State Safety Shields
  Andoni Rodriguez, Irfansha Shaik, Davide Corsi, Roy Fox and César Sánchez
• Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis - [Video]
  Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo and Nir Piterman
• LTL Synthesis under Multi-Agent Environment Assumptions
  Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli and Sasha Rubin

Main - Automated Reasoning | Session chair: Tobias Geibinger

• Efficient Volume Computation for SMT Formulas - [Video]
  Arijit Shaw, Uddalok Sarkar and Kuldeep S. Meel
• Counting Solutions under Cardinality Constraints: Structure Counts in Counting
  Max Bannach and Markus Hecher
• Repairing General Game Descriptions
  Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine and Michael Thielscher

RPR - Description Logics, Argumentation | Session chair: Marie-Laure Mugnier

• Extending the Description Logic EL with Threshold Concepts Induced by Concept Measures - [Paper]
  Oliver Fernández Gil and Franz Baader
• Decidability of Querying First-Order Theories via Countermodels of Finite Width (extended abstract of journal article published in LMCS 2025) - [Paper]
  Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja and Sebastian Rudolph
• Initial Models and Serialisability in Abstract Dialectical Frameworks - [Paper]
  Lars Bengel and Matthias Thimm
• An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation - [Paper]
  Lars Bengel, Giovanni Buraglio, Jan Maly and Kenneth Skiba
• On Independence and SCC-Recursiveness in Assumption-Based Argumentation - [Paper]
  Lydia Blümel, Anna Rapberger, Matthias Thimm and Francesca Toni
• Argumentative Large Language Models for Explainable and Contestable Claim Verification (Extended Abstract) - [Paper]
  Gabriel Freedman, Adam Dejl, Deniz Gorur, Xiang Yin, Antonio Rago and Francesca Toni

November 16

09:00 - 10:00

Keynote - Gerardo Simari | Session chair: Renata Wassermann

10:00 - 10:30

Awards

11:00 - 12:30

Wild - ASP | Session chair: Francesco Ricca

• Model Checker For Recursive Aggregates - [Video]
  Mario Alviano, Carmine Dodaro and Salvatore Fiorentino
• Can LLMs Solve ASP Problems? Insights from a Benchmarking Study
  Lin Ren, Guohui Xiao, Guilin Qi, Yishuai Geng and Haohan Xue
• Reasoning About Actual Causality In Answer Set Programming
  Daniel Özcan, Dalal Alrajeh and Robert Craven

Constraints | Session chair: Mathias Knorr

• Expressive Description Logics with Rich Yet Affordable Numeric Constraints
  Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz and Mantas Šimkus
• Reasoning in Assumption-Based Argumentation via SAT
  Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen and Matti Järvisalo
• Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation
  Jean Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly

Main - Theory | Session chair: Sasha Rubin

• Complexity of Abduction in Łukasiewicz Logic
  Katsumi Inoue and Daniil Kozhemiachenko
• On the Complexity and Properties of Preferential Propositional Dependence Logic
  Kai Sauerwald, Arne Meier and Juha Kontinen
• An Analysis of The Role of Syntax in Inductive Inference
  Jesse Heyninck, Richard Booth, Thomas Meyer and Lars-Phillip Spiegel

13:30 - 15:30

Wild - Various | Session chair: Simon Vandevelde

• An Embarrassingly Parallel Model Counter
  Zhenghang Xu, Minghao Yin and Jean Marie Lagniez
• Interactive Exploration of Plan Spaces
  Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Jakob Speck and Johannes K. Fichte
• A Tensor-Based Probabilistic Event Calculus
  Efthimis Tsilionis, Alexander Artikis and Georgios Paliouras
• TRACE-CS: A Hybrid Logic—LLM System for Explainable Course Scheduling
  Stylianos Loukas Vasileiou and William Yeoh

Main - Knowledge, Compilation | Session chair: Gerhard Lakemeyer

• Reasoning about knowledge on regular expressions is 2EXPTIME-complete - [Video]
  Avijeet Ghosh, Sujata Ghosh and François Schwarzentruber
• How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics
  Pablo Castro, Pedro R. D'Argenio and Raul Fervari
• Boolean Nearest Neighbor Language in the Knowledge Compilation Map
  Ondřej Čepek and Jelena Glišić
• Presburger Functional Synthesis: Complexity and Tractable Normal Forms - [Video]
  S. Akshay, A. R. Balasubramanian, Supratik Chakraborty and Georg Zetzsche

Main - Description Logics | Session chair: Franz Baader

• Abstractions of Queries in Ontology-Based Data Access
  Michel Leclère, Marie-Laure Mugnier and Guillaume Pérution-Kihli
• Minimal Model Reasoning in Description Logics: Don't Try This at Home!
  Federica Di Stefano, Quentin Manière, Magdalena Ortiz and Mantas Simkus
• Fitting Ontologies and Constraints to Relational Structures
  Simon Hosemann, Jean Christoph Jung, Carsten Lutz and Sebastian Rudolph
• Fitting Description Logic Ontologies to ABox and Query Examples - [Video]
  Maurice Funk, Marvin Grosser and Carsten Lutz

16:00 - 17:30

Wild - ASP | Session chair: Sarah Gaggl

• Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming
  Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann and Matthias Thimm
• Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria
  Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García
• ASP-Driven Visual Commonsense: A General Framework for Reasoning about Embodied Interaction in the Wild
  Jakob Suchan, Mehul Bhatt and Julius Monsen

Main - Explanation | Session chair: Son Tran

• Logical Coherent Explanations through Categorical Explaining Functors
  Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi and Nicolò Navarin
• An Information-Flow Perspective on Explainability Requirements: Specification and Verification
  Bernd Finkbeiner, Hadar Frenkel and Julian Siber
• On the Complexity of Global Necessary Reasons to Explain Classification
  Marco Calautti, Enrico Malizia and Cristian Molinaro

RPR - Learning and Planning | Session chair: Hector Geffner

• Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines - [Paper]
  Son Tran and Artur D'Avila Garcez
• Iterated Belief Change as Learning (Extended Abstract) - [Paper]
  Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny and Pierre Marquis
• Integrating an online HTN planner with external legal and ethical checkers - [Paper] - [Video]
  Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia and Ken Satoh
• Rolling in Classical Planning with Conditional Effects and Constraints - [Paper]
  Matteo Cardellini and Enrico Giunchiglia
• Non-deterministic Action Reversibility: Complexity Results
  Jakub Med, Michael Morak, Lukas Chrpa and Wolfgang Faber

November 17

09:00 - 10:00

Keynote - Sylvie Thiébaux | Session chair: Maurice Pagnucco

10:30 - 12:30

Main - Learning | Session chair: Gabriele Kern-Isberner

• Halting Recurrent GNNs and the Graded mu-Calculus - [Video]
  Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren and Jonni Virtema
• Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions - [Video]
  Matthew Morris, David J. Tena Cucala and Bernardo Cuenca Grau
• Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings
  Aleksandar Pavlovic, Emanuel Sallinger and Steven Schockaert
• Pushdown Reward Machines for Reinforcement Learning - [Video]
  Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Toryn Klassen, Brian Logan and Sheila McIlraith

Main - Argumentation | Session chair: Matthias Thimm

• A Principle-based Framework for Analyzing Dialogue Game-based Semantics
  Yamil Soto, Andrea Cohen, Cristhian Ariel D. Deagustini, Maria Vanina Martinez and Gerardo Simari
• On Gradual Semantics for Assumption-Based Argumentation
  Anna Rapberger, Fabrizio Russo, Antonio Rago and Francesca Toni
• A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
  Antonio Rago, Stylianos Loukas Vasileiou, Son Tran, Francesca Toni and William Yeoh
• On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
  Matti Berthold, Lydia Blümel and Anna Rapberger

Main - Description Logics | Session chair: Stefan Borgwardt

• Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards
  Bartosz Bednarczyk and Emanuel Kieroński
• Finite Axiomatizability by Disjunctive Existential Rules
  Marco Calautti, Marco Console and Andreas Pieris
• Solving unification in the description logic FL_bottom
  Barbara Morawska and Dariusz Marzec
• Two-Variable Logic for Hierarchically Partitioned and Ordered Data
  Oskar Fiuk, Emanuel Kieronski and Vincent Michielini

13:30 - 15:30

Main - Temporal Logics | Session chair: Giuseppe De Giacomo

• An Intuitionistic Version of Alternating-Time Temporal Logic
  Andrea Capone, Laura Bozzelli, Davide Catta and Aniello Murano
• Model Checking Linear Temporal Logic with Standpoint Modalities
  Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer and Timm Spork
• On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories
  Stéphane Demri and Raul Fervari
• Strategy Logic, Imperfect Information, and Hyperproperties
  Raven Beutner and Bernd Finkbeiner

Main - Argumentation | Session chair: Ringo Baumann

• Axiomatic Characterisations of Argumentation Semantics
  Leila Amgoud
• Compactness and Preservation in Logical Argumentation Frameworks
  Ofer Arieli and Christian Strasser
• An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
  Victor David, Anthony Hunter and Jonathan Ben-Naim
• An Epistemic Theory of Deductive Arguments
  Emiliano Lorini

Main - Description Logics | Session chair: Martin Homola

• About the Multi-Head Linear Restricted Chase Termination - [Video]
  Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski and Piotr Ostropolski-Nalewaja
• Reasoning in Defeasible Description Logics with System W and Lexicographic Inference
  Giovanni Casini, Jonas Philipp Haldimann and Thomas Meyer
• Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic
  Lucía Gómez Álvarez and Sebastian Rudolph
• Tractable Responsibility Measures for Ontology-Mediated Query Answering
  Meghyn Bienvenu, Diego Figueira and Pierre Lafourcade