Accepted Submissions
Main Track
- 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 Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
Antonio Rago, Stylianos Loukas Vasileiou, Son Tran, Francesca Toni and William Yeoh
- A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming - [Video]
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca and Fabrizio Riguzzi
- A Principle-based Framework for Analyzing Dialogue Game-based Semantics
Yamil Soto, Andrea Cohen, Cristhian Ariel D. Deagustini, Maria Vanina Martinez and Gerardo Simari
- A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation
Lars Bengel, Julian Sander and Matthias Thimm
- A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue and RobinJean
- About the Multi-Head Linear Restricted Chase Termination - [Video]
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski and Piotr Ostropolski-Nalewaja
- Abstractions of Queries in Ontology-Based Data Access
Michel Leclère, Marie-Laure Mugnier and Guillaume Pérution-Kihli
- An Analysis of The Role of Syntax in Inductive Inference
Jesse Heyninck, Richard Booth, Thomas Meyer and Lars-Phillip Spiegel
- 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
- An Information-Flow Perspective on Explainability Requirements: Specification and Verification
Bernd Finkbeiner, Hadar Frenkel and Julian Siber
- An Intuitionistic Version of Alternating-Time Temporal Logic
Andrea Capone, Laura Bozzelli, Davide Catta and Aniello Murano
- Axiomatic Characterisations of Argumentation Semantics
Leila Amgoud
- Belief Revision in a Probabilistic Setting - [Video]
James Delgrande, Gerhard Lakemeyer, Joshua Sack and Maurice Pagnucco
- Boolean Nearest Neighbor Language in the Knowledge Compilation Map
Ondřej Čepek and Jelena Glišić
- Compactness and Preservation in Logical Argumentation Frameworks
Ofer Arieli and Christian Strasser
- Complexity of Abduction in Łukasiewicz Logic
Katsumi Inoue and Daniil Kozhemiachenko
- Context-Based Belief Revision - [Video]
Nicolas Schwind
- Counting Solutions under Cardinality Constraints: Structure Counts in Counting
Max Bannach and Markus Hecher
- Effective AGM Belief Contraction: A Journey beyond the Finitary Realm
Dominik Klumpp and Jandson S. Ribeiro
- Efficient Volume Computation for SMT Formulas - [Video]
Arijit Shaw, Uddalok Sarkar and Kuldeep S. Meel
- Extending Abstract Argumentation Frameworks with Knowledge Bases
Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Francesco Parisi and Irina Trubitsyna
- Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings
Aleksandar Pavlovic, Emanuel Sallinger and Steven Schockaert
- FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
Alexander Beiser, Martin Gebser, Markus Hecher and Stefan Woltran
- Finite Axiomatizability by Disjunctive Existential Rules
Marco Calautti, Marco Console and Andreas Pieris
- Fitting Description Logic Ontologies to ABox and Query Examples - [Video]
Maurice Funk, Marvin Grosser and Carsten Lutz
- Fitting Ontologies and Constraints to Relational Structures
Simon Hosemann, Jean Christoph Jung, Carsten Lutz and Sebastian Rudolph
- Grounding Rule-Based Argumentation Using Datalog
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso and Fritz Rauschenbach
- Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards
Bartosz Bednarczyk and Emanuel Kieroński
- Halting Recurrent GNNs and the Graded mu-Calculus - [Video]
Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren and Jonni Virtema
- How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics
Pablo Castro, Pedro R. D'Argenio and Raul Fervari
- Logical Coherent Explanations through Categorical Explaining Functors
Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi and Nicolò Navarin
- Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions - [Video]
Matthew Morris, David J. Tena Cucala and Bernardo Cuenca Grau
- Minimal Model Reasoning in Description Logics: Don't Try This at Home!
Federica Di Stefano, Quentin Manière, Magdalena Ortiz and Mantas Simkus
- Model Checking Linear Temporal Logic with Standpoint Modalities
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer and Timm Spork
- Non-deterministic Action Reversibility: Complexity Results
Jakub Med, Michael Morak, Lukas Chrpa and Wolfgang Faber
- On Gradual Semantics for Assumption-Based Argumentation
Anna Rapberger, Fabrizio Russo, Antonio Rago and FrancescaToni
- On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
Matti Berthold, Lydia Blümel and Anna Rapberger
- On the Complexity and Properties of Preferential Propositional Dependence Logic
Kai Sauerwald, Arne Meier, and Juha Kontinen
- On the Complexity of Global Necessary Reasons to Explain Classification
Marco Calautti, Enrico Malizia and Cristian Molinaro
- On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories
Stéphane Demri and Raul Fervari
- Presburger Functional Synthesis: Complexity and Tractable Normal Forms - [Video]
S. Akshay, A. R. Balasubramanian, Supratik Chakraborty and Georg Zetzsche
- Pushdown Reward Machines for Reinforcement Learning - [Video]
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani,Toryn Klassen, Brian Logan and Sheila McIlraith
- 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
- Reasoning about knowledge on regular expressions is 2EXPTIME-complete - [Video]
Avijeet Ghosh, Sujata Ghosh and François Schwarzentruber
- Reasoning in Defeasible Description Logics with System W and Lexicographic Inference
Jonas Philipp Haldimann, Giovanni Casini and Thomas Meyer
- Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms
Damiano Azzolini and Markus Hecher
- Repairing General Game Descriptions
Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine and Michael Thielscher
- Sequence Explanations for Acceptance in Abstract Argumentation
Lars Bengel and Matthias Thimm
- Solving unification in the description logic FL_bottom
Barbara Morawska and Dariusz Marzec
- Strategy Logic, Imperfect Information, and Hyperproperties
Raven Beutner and Bernd Finkbeiner
- Tractable Responsibility Measures for Ontology-Mediated Query Answering
Meghyn Bienvenu, Diego Figueira and Pierre Lafourcade
- Two-Variable Logic for Hierarchically Partitioned and Ordered Data
Oskar Fiuk, Emanuel Kieronski and Vincent Michielini
KR in the Wild Track
- A Tensor-Based Probabilistic Event Calculus
Efthimis Tsilionis, Alexander Artikis and Georgios Paliouras
- 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
- An Embarrassingly Parallel Model Counter
Zhenghang Xu, Minghao Yin and Jean Marie Lagniez
- ASP-Driven Visual Commonsense: A General Framework for Reasoning about Embodied Interaction in the Wild
Jakob Suchan, Mehul Bhatt and Julius Monsen
- Can LLMs Solve ASP Problems? Insights from a Benchmarking Study
Lin Ren, Guohui Xiao, Guilin Qi, Yishuai Geng and Haohan Xue
- Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming
Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann and Matthias Thimm
- Interactive Exploration of Plan Spaces
Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Jakob Speck and Johannes K. Fichte
- Model Checker For Recursive Aggregates - [Video]
Mario Alviano, Carmine Dodaro and Salvatore Fiorentino
- Reasoning About Actual Causality In Answer Set Programming
Daniel Özcan, Dalal Alrajeh and Robert Craven
- TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling
Stylianos Loukas Vasileiou and William Yeoh
KR&R in P&S Track
- A Planning Compilation to Reason about Goal Achievement at Planning Time
Alberto Pozanco, Marianela Morales, Daniel Borrajo and Manuela Veloso
- Automated Planning with Ontologies under Coherence Update Semantics - [Video]
Stefan Borgwardt, Duy Nhu and Gabriele Röger
- Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
Masood Feyzbakhsh Rankooh, Andreas Niskanen and MattiJärvisalo
- Counterfactual Scenarios for Automated Planning
Nicola Gigante, Francesco Leofante and Andrea Micheli
- Depth-Bounded Epistemic Planning
Thomas Bolander, Alessandro Burigana and Marco Montali
- Domain-Independent Instance Generation for Classical Planning
Claudia Grundke, Malte Helmert and Gabriele Röger
- 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
- Explanations for Unrealizability of Infinite-State Safety Shields
Andoni Rodriguez, Irfansha Shaik, Davide Corsi, Roy Fox and César Sánchez
- Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems
Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli and Stefano Tonetta
- 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
- LTL Synthesis under Multi-Agent Environment Assumptions
Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli and Sasha Rubin
- Probabilistic Active Goal Recognition - [Video]
Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Mor Vered and Buser Say
- Probabilistic HTN Planning: Formalization and Computational Complexity Analysis
Mohammad Yousefi, Johannes Schmalz, Patrik Haslum and Pascal Bercher
- Pruning with Belief Traps in Multi-agent Epistemic Planning
Biqing Fang and Fangzhen Lin
- Pushing the Envelope in Numeric Pattern Planning
Matteo Cardellini and Enrico Giunchiglia
- Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning
Paul Höft, David Speck and Jendrik Seipp
KR and Constraints Track
- Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation
Jean Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly
- 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 Lehtonenand Matti Järvisalo
Recently Published Research Track
- A Sequent Calculus for Answer Set Entailment (Extended Abstract) - [Paper]
Thomas Eiter and Tobias Geibinger
- An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation - [Paper]
Lars Bengel, Giovanni Buraglio, Jan Maly and Kenneth Skiba
- 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
- 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
- Extending the Description Logic EL with Threshold Concepts Induced by Concept Measures - [Paper]
Oliver Fernández Gil and Franz Baader
- Hybrid Planning for Challenging Construction Problems: An Answer Set Programming Approach - [Paper]
Faseeh Ahmad, Volkan Patoglu and Esra Erdem
- Initial Models and Serialisability in Abstract Dialectical Frameworks - [Paper]
Lars Bengel and Matthias Thimm
- 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
- Iterated Belief Change as Learning (Extended Abstract) - [Paper]
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny and Pierre Marquis
- Learning MDL Logic Programs From Noisy Data
Céline Hocquette, Andreas Niskanen, Matti Järvisalo and Andrew Cropper
- MaxSAT-Based Inconsistency Measurement
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm and Matti Järvisalo
- Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines - [Paper]
Son Tran and Artur D'Avila Garcez
- On Independence and SCC-Recursiveness in Assumption-Based Argumentation - [Paper]
Lydia Blümel, Anna Rapberger, Matthias Thimm and Francesca Toni
- Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming - [Paper]
Yusuf Izmirlioglu and Esra Erdem
- Rolling in Classical Planning with Conditional Effects and Constraints - [Paper]
Matteo Cardellini and Enrico Giunchiglia
- 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
Video Track
- Logic-Based AI for the Rest of Us - [Video]
Simon Vandevelde and Joost Vennekens
- Semantics and Society - [Video]
Fedor Grigoryevich Pogulskiy, Andrei Vladimirov and Austin Guilbault
- Waiting for the Chase To Terminate: Have You Tried This Other Variant? - [Video]
Matti Berthold, Marvin Großer, Simon Hosemann, Quentin Manière, Moritz Schönherr and Lukas Schulze
⭐ Winners of the Best Video and Public Choice Awards ⭐