| 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 | Towards Transparent Recommender Systems via Argumentation Frameworks. | Elena Stefancova |
| 2025 | Splitting Techniques for Conditional Belief Bases for Nonmonotonic Reasoning. | Lars-Phillip Spiegel |
| 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 | Efficient Volume Computation for SMT Formulas. | Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel |
| 2025 | Efficient Volume Computation for SMT Formulas. | Arijit Shaw |
| 2025 | Context-Based Belief Revision. | Nicolas Schwind |
| 2025 | On the Complexity and Properties of Preferential Propositional Dependence Logic. | Kai Sauerwald, Arne Meier, Juha Kontinen |
| 2025 | Assessing the Quality of Samplers: A Statistical Distance Framework. | Uddalok Sarkar |
| 2025 | Explanations for Unrealizability of Infinite-State Safety Shields. | Andoni Rodrguez, Irfansha Shaik, Davide Corsi, Roy Fox, Csar Snchez |
| 2025 | Can LLMs Solve ASP Problems? Insights from a Benchmarking Study. | Lin Ren, Guohui Xiao, Guilin Qi, Yishuai Geng, Haohan Xue |
| 2025 | On Gradual Semantics for Assumption-Based Argumentation. | Anna Rapberger, Fabrizio Russo, Antonio Rago, Francesca Toni |
| 2025 | Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability. | Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Jrvisalo |
| 2025 | A Planning Compilation to Reason About Goal Achievement at Planning Time. | Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso |
| 2025 | Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems. | Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta |
| 2025 | Reasoning About Actual Causality in Answer Set Programming. | Daniel zcan, Dalal Alrajeh, Robert Craven |
| 2025 | Integrating Ontology and Graph Neural Network for Explainable Malware Detection. | Monday Onoja |
| 2025 | Reasoning in Assumption-Based Argumentation via SAT. | Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Jrvisalo |
| 2025 | Practical Planning with Ontologies. | Duy Nhu |
| 2025 | Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions. | Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau |
| 2025 | Non-deterministic Action Reversibility: Complexity Results. | Jakub Med, Michael Morak, Luks Chrpa, Wolfgang Faber |
| 2025 | An Epistemic Theory of Deductive Arguments. | Emiliano Lorini |
| 2025 | Abstractions of Queries in Ontology-Based Data Access. | Michel Leclre, Marie-Laure Mugnier, Guillaume Prution-Kihli |
| 2025 | Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation. | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly |