| 2024 | Verification of General Games with Imperfect Information Using Strategy Logic. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | From Acceptance to Rejection in Abstract Argumentation. | Anne-Marie Heine, Markus Ulbricht |
| 2024 | A Representation Theorem for Causal Decision Making. | Joseph Y. Halpern, Evan Piermont |
| 2024 | Axiomatization of Approximate Exclusion. | Matilda Hggblom |
| 2024 | Preference-Based Abstract Argumentation for Case-Based Reasoning. | Adam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matthew Williams, Francesca Toni |
| 2024 | dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning. | Renato Lui Geh, Jonas Gonalves, Igor Cataneo Silveira, Denis Deratani Mau, Fbio G. Cozman |
| 2024 | Learning to Ground Existentially Quantified Goals. | Martin Funkquist, Simon Sthlberg, Hector Geffner |
| 2024 | Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging. | Tommaso Flaminio, Llus Godo, Giuliano Rosella |
| 2024 | Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. | Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha |
| 2024 | A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. | David Fernndez-Duque, Brett McLean, Lukas Zenger |
| 2024 | Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. | Biqing Fang, Fangzhen Lin |
| 2024 | Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism. | Patricia Everaere, Sbastien Konieczny, Ramn Pino Prez |
| 2024 | Symmetries and Expressive Requirements for Learning General Policies. | Dominik Drexler, Simon Sthlberg, Blai Bonet, Hector Geffner |
| 2024 | Blending Grounding and Compilation for Efficient ASP Solving. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2024 | Bridging Max Graph Neural Networks and Datalog with Negation. | David J. Tena Cucala, Bernardo Cuenca Grau |
| 2024 | Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. | Simon Coumes, Pierre-Henri Paris, Franois Schwarzentruber, Fabian M. Suchanek |
| 2024 | LLASP: Fine-tuning Large Language Models for Answer Set Programming. | Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca |
| 2024 | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. | Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas |
| 2024 | On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events. | Luks Chrpa, Erez Karpas |
| 2024 | Explaining Image Classifiers. | Hana Chockler, Joseph Y. Halpern |
| 2024 | ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. | Leroy Chew, Alexis de Colnet, Stefan Szeider |
| 2024 | Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. | Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis |
| 2024 | Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. | David Carral, Lucas Larroque, Michal Thomazo |
| 2024 | Contracted Temporal Equilibrium Logic. | Pedro Cabalar, Thomas Eiter, Davide Sold |
| 2024 | Action Language mA* with Higher-Order Action Observability. | David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano |