| 2025 | Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm. | Dominik Klumpp, Jandson S. Ribeiro |
| 2025 | A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract). | Robin Jean |
| 2025 | Learning Lifted Action Models from Traces of Incomplete Actions and States. | Niklas Jansen, Jonas Gsgens, Hector Geffner |
| 2025 | Complexity of Abduction in Łukasiewicz Logic. | Katsumi Inoue, Daniil Kozhemiachenko |
| 2025 | Fitting Ontologies and Constraints to Relational Structures. | Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph |
| 2025 | Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning. | Paul Hft, David Speck, Jendrik Seipp |
| 2025 | An Analysis of the Role of Syntax in Inductive Inference. | Jesse Heyninck, Richard Booth, Thomas Meyer, Lars-Phillip Spiegel |
| 2025 | Automatically Verifying and Repairing General Game Descriptions. | Yifan He |
| 2025 | A Framework for Inconsistency-tolerant Reasoning with Sets of Models. | Yehia Hatab, Kai Sauerwald, Matthias Thimm |
| 2025 | Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change. | Alexander Hahn |
| 2025 | Domain-Independent Instance Generation for Classical Planning. | Claudia Grundke, Malte Helmert, Gabriele Rger |
| 2025 | Counterfactual Scenarios for Automated Planning. | Nicola Gigante, Francesco Leofante, Andrea Micheli |
| 2025 | Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete. | Avijeet Ghosh, Sujata Ghosh, Franois Schwarzentruber |
| 2025 | Fitting Description Logic Ontologies to ABox and Query Examples. | Maurice Funk, Marvin Grosser, Carsten Lutz |
| 2025 | Two-Variable Logic for Hierarchically Partitioned and Ordered Data. | Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2025 | Categorical Explaining Functors: Ensuring Coherence in Logical Explanations. | Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicol Navarin |
| 2025 | An Information-Flow Perspective on Explainability Requirements: Specification and Verification. | Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2025 | Pruning with Belief Traps in Multi-agent Epistemic Planning. | Biqing Fang, Fangzhen Lin |
| 2025 | Grounding Rule-Based Argumentation Using Datalog. | Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach |
| 2025 | On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories. | Stphane Demri, Raul Fervari |
| 2025 | Belief Revision in a Probabilistic Setting. | James P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack |
| 2025 | Boolean Nearest Neighbor Language in the Knowledge Compilation Map. | Ondrej Cepek, Jelena Glisic |
| 2025 | How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. | Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2025 | Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. | Giovanni Casini, Jonas Haldimann, Thomas Meyer |
| 2025 | Pushing the Envelope in Numeric Pattern Planning. | Matteo Cardellini, Enrico Giunchiglia |