| 2025 | A Framework for Inconsistency-tolerant Reasoning with Sets of Models. Yehia Hatab, Kai Sauerwald, Matthias Thimm |
| 2025 | A Logic-Based Framework for Database Repairs. Nicolas Fröhlich, Arne Meier, Nina Pardal, Jonni Virtema |
| 2025 | A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs. Antonio Rago, Stylianos Loukas Vasileiou, Son Tran, Francesca Toni, William Yeoh |
| 2025 | A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming. Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2025 | A Planning Compilation to Reason About Goal Achievement at Planning Time. Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso |
| 2025 | A Principle-based Framework for Analyzing Dialogue Game-based Semantics. Yamil Osvaldo Soto, Andrea Cohen, Cristhian Ariel David Deagustini, Maria Vanina Martinez, Gerardo I. Simari |
| 2025 | A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation. Lars Bengel, Julian Sander, Matthias Thimm |
| 2025 | A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean |
| 2025 | A Tensor-Based Probabilistic Event Calculus. Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras |
| 2025 | ASP-Driven Visual Commonsense: A General Framework for Reasoning About Embodied Interaction in the Wild. Jakob Suchan, Mehul Bhatt, Julius Monsen |
| 2025 | About the Multi-Head Linear Restricted Chase Termination. Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
| 2025 | Abstractions of Queries in Ontology-Based Data Access. Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli |
| 2025 | 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, Yazmín Ibáñez-García |
| 2025 | An Analysis of the Role of Syntax in Inductive Inference. Jesse Heyninck, Richard Booth, Thomas Meyer, Lars-Phillip Spiegel |
| 2025 | An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation. Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2025 | An Embarrassingly Parallel Model Counter. Zhenghang Xu, Minghao Yin, Jean-Marie Lagniez |
| 2025 | An Epistemic Theory of Deductive Arguments. Emiliano Lorini |
| 2025 | An Information-Flow Perspective on Explainability Requirements: Specification and Verification. Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2025 | An Intuitionistic Version of Alternating-Time Temporal Logic. Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano |
| 2025 | Automated Planning with Ontologies Under Coherence Update Semantics. Stefan Borgwardt, Duy Nhu, Gabriele Röger |
| 2025 | Axiomatic Characterisations of Argumentation Semantics. Leila Amgoud |
| 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 | Can LLMs Solve ASP Problems? Insights from a Benchmarking Study. Lin Ren, Guohui Xiao, Guilin Qi, Yishuai Geng, Haohan Xue |
| 2025 | Categorical Explaining Functors: Ensuring Coherence in Logical Explanations. Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicolò Navarin |
| 2025 | Compactness and Preservation in Logical Argumentation Frameworks. Ofer Arieli, Christian Straßer |
| 2025 | Complexity of Abduction in Łukasiewicz Logic. Katsumi Inoue, Daniil Kozhemiachenko |
| 2025 | Context-Based Belief Revision. Nicolas Schwind |
| 2025 | Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability. Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Järvisalo |
| 2025 | Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation. Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly |
| 2025 | Counterfactual Scenarios for Automated Planning. Nicola Gigante, Francesco Leofante, Andrea Micheli |
| 2025 | Counting Solutions Under Cardinality Constraints: Structure Counts in Counting. Max Bannach, Markus Hecher |
| 2025 | Depth-Bounded Epistemic Planning. Thomas Bolander, Alessandro Burigana, Marco Montali |
| 2025 | Domain-Independent Instance Generation for Classical Planning. Claudia Grundke, Malte Helmert, Gabriele Röger |
| 2025 | Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm. Dominik Klumpp, Jandson S. Ribeiro |
| 2025 | Efficient Volume Computation for SMT Formulas. Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel |
| 2025 | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2025 | Explanations for Unrealizability of Infinite-State Safety Shields. Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez |
| 2025 | Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming. Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm |
| 2025 | Expressive Description Logics with Rich Yet Affordable Numeric Constraints. Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2025 | Extending Abstract Argumentation Frameworks with Knowledge Bases. Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Francesco Parisi, Irina Trubitsyna |
| 2025 | Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings. Aleksandar Pavlovic, Emanuel Sallinger, Steven Schockaert |
| 2025 | FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding. Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran |
| 2025 | Finite Axiomatizability by Disjunctive Existential Rules. Marco Calautti, Marco Console, Andreas Pieris |
| 2025 | Fitting Description Logic Ontologies to ABox and Query Examples. Maurice Funk, Marvin Grosser, Carsten Lutz |
| 2025 | Fitting Ontologies and Constraints to Relational Structures. Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph |
| 2025 | Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems. Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta |
| 2025 | Grounding Rule-Based Argumentation Using Datalog. Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach |
| 2025 | Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards. Bartosz Bednarczyk, Emanuel Kieronski |
| 2025 | Halting Recurrent GNNs and the Graded mu-Calculus. Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema |
| 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 | Interactive Exploration of Plan Spaces. Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte |
| 2025 | LTL Synthesis Under Multi-Agent Environment Assumptions. Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin |
| 2025 | Learning General Policies from Examples. Blai Bonet, Hector Geffner |
| 2025 | Learning Lifted Action Models from Traces of Incomplete Actions and States. Niklas Jansen, Jonas Gösgens, Hector Geffner |
| 2025 | Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions. Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau |
| 2025 | Minimal Model Reasoning in Description Logics: Don't Try This at Home! Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus |
| 2025 | Model Checker for Recursive Aggregates. Mario Alviano, Carmine Dodaro, Salvatore Fiorentino |
| 2025 | Model Checking Linear Temporal Logic with Standpoint Modalities. Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | Non-deterministic Action Reversibility: Complexity Results. Jakub Med, Michael Morak, Lukás Chrpa, Wolfgang Faber |
| 2025 | On Gradual Semantics for Assumption-Based Argumentation. Anna Rapberger, Fabrizio Russo, Antonio Rago, Francesca Toni |
| 2025 | On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation. Matti Berthold, Lydia Blümel, Anna Rapberger |
| 2025 | On the Complexity and Properties of Preferential Propositional Dependence Logic. Kai Sauerwald, Arne Meier, Juha Kontinen |
| 2025 | On the Complexity of Global Necessary Reasons to Explain Classification. Marco Calautti, Enrico Malizia, Cristian Molinaro |
| 2025 | On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories. Stéphane Demri, Raul Fervari |
| 2025 | Presburger Functional Synthesis: Complexity and Tractable Normal Forms. S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche |
| 2025 | Probabilistic Active Goal Recognition. Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Mor Vered, Buser Say |
| 2025 | Probabilistic HTN Planning: Formalization and Computational Complexity Analysis. Mohammad Yousefi, Johannes Schmalz, Patrik Haslum, Pascal Bercher |
| 2025 | Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025 Magdalena Ortiz, Renata Wassermann, Torsten Schaub |
| 2025 | Pruning with Belief Traps in Multi-agent Epistemic Planning. Biqing Fang, Fangzhen Lin |
| 2025 | Pushdown Reward Machines for Reinforcement Learning. Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith |
| 2025 | Pushing the Envelope in Numeric Pattern Planning. Matteo Cardellini, Enrico Giunchiglia |
| 2025 | 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, Sebastian Rudolph |
| 2025 | Reasoning About Actual Causality in Answer Set Programming. Daniel Özcan, Dalal Alrajeh, Robert Craven |
| 2025 | Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete. Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber |
| 2025 | Reasoning in Assumption-Based Argumentation via SAT. Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Järvisalo |
| 2025 | Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. Giovanni Casini, Jonas Haldimann, Thomas Meyer |
| 2025 | Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms. Damiano Azzolini, Markus Hecher |
| 2025 | Repairing General Game Descriptions. Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2025 | Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning. Paul Höft, David Speck, Jendrik Seipp |
| 2025 | Sequence Explanations for Acceptance in Abstract Argumentation. Lars Bengel, Matthias Thimm |
| 2025 | Solving Unification in the Description Logic FL_bottom. Barbara Morawska, Dariusz Marzec |
| 2025 | Strategy Logic, Imperfect Information, and Hyperproperties. Raven Beutner, Bernd Finkbeiner |
| 2025 | TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling. Stylianos Loukas Vasileiou, William Yeoh |
| 2025 | Tractable Responsibility Measures for Ontology-Mediated Query Answering. Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2025 | Two-Variable Logic for Hierarchically Partitioned and Ordered Data. Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |