| 2024 | A Representation Theorem for Causal Decision Making. Joseph Y. Halpern, Evan Piermont |
| 2024 | A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. David Fernández-Duque, Brett McLean, Lukas Zenger |
| 2024 | A Uniform Language to Explain Decision Trees. Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux |
| 2024 | ASP Chef: Draw and Expand. Mario Alviano, Luis Angel Rodriguez Reiners |
| 2024 | ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. Leroy Chew, Alexis de Colnet, Stefan Szeider |
| 2024 | ASPEN: ASP-Based System for Collective Entity Resolution. Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García |
| 2024 | Abductive Reasoning in a Paraconsistent Framework. Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko |
| 2024 | Abstraction in Assumption-based Argumentation. Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner |
| 2024 | Action Language mA* with Higher-Order Action Observability. David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano |
| 2024 | Action Model Learning with Guarantees. Diego Aineto, Enrico Scala |
| 2024 | Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. Carsten Lutz, Quentin Manière |
| 2024 | Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. Andrei Popescu, Johannes P. Wallner |
| 2024 | Advancing Interactive Explainable AI via Belief Change Theory. Antonio Rago, Maria Vanina Martinez |
| 2024 | Argumentative Causal Discovery. Fabrizio Russo, Anna Rapberger, Francesca Toni |
| 2024 | Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz |
| 2024 | Axiomatization of Approximate Exclusion. Matilda Häggblom |
| 2024 | Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties). Nico Potyka, Richard Booth |
| 2024 | Belief Change on Rational Rankings. Nerio Borges, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind |
| 2024 | Blending Grounding and Compilation for Efficient ASP Solving. Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2024 | Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha |
| 2024 | Bridging Max Graph Neural Networks and Datalog with Negation. David J. Tena Cucala, Bernardo Cuenca Grau |
| 2024 | CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks. Xiang Yin, Nico Potyka, Francesca Toni |
| 2024 | Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs. Matti Berthold, Anna Rapberger, Markus Ulbricht |
| 2024 | Collective Satisfaction Semantics for Opinion Based Argumentation. Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic |
| 2024 | Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Järvisalo |
| 2024 | Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat. Jan Tóth, Ondrej Kuzelka |
| 2024 | Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner |
| 2024 | Consistent Query Answering over SHACL Constraints. Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler |
| 2024 | Contestable AI Needs Computational Argumentation. Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago, Anna Rapberger, Fabrizio Russo, Xiang Yin, Dekai Zhang, Francesca Toni |
| 2024 | Contracted Temporal Equilibrium Logic. Pedro Cabalar, Thomas Eiter, Davide Soldà |
| 2024 | Contractions Based on Optimal Repairs. Franz Baader, Renata Wassermann |
| 2024 | Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. Meghyn Bienvenu, Camille Bourgaux, Robin Jean |
| 2024 | Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
| 2024 | Deontic Reasoning Based on Inconsistency Measures. Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer |
| 2024 | Description Logics with Abstraction and Refinement: From ALC to EL. Carsten Lutz, Lukas Schulze |
| 2024 | Dialectical Reconciliation via Structured Argumentative Dialogues. Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni |
| 2024 | Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva |
| 2024 | Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. Federica Di Stefano, Mantas Simkus |
| 2024 | Explaining Decisions in ML Models: A Parameterized Complexity Analysis. Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider |
| 2024 | Explaining Image Classifiers. Hana Chockler, Joseph Y. Halpern |
| 2024 | Explaining Reasoning Results for OWL Ontologies with Evee. Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan |
| 2024 | Expressive Power of Definite Descriptions in Modal Logics. Przemyslaw Andrzej Walega |
| 2024 | Extending Description Logics with Generic Concepts - the Tale of Two Semantics. Joshua Hirschbrunn, Yevgeny Kazakov |
| 2024 | From Acceptance to Rejection in Abstract Argumentation. Anne-Marie Heine, Markus Ulbricht |
| 2024 | Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. Biqing Fang, Fangzhen Lin |
| 2024 | Incentive Design for Rational Agents. David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge |
| 2024 | Knowledge Base Embeddings: Semantics and Theoretical Properties. Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki |
| 2024 | LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. David Ing, Saïd Jabbour, Lakhdar Sais, Fabien Delorme |
| 2024 | LLASP: Fine-tuning Large Language Models for Answer Set Programming. Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca |
| 2024 | Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | Learning Robust Reward Machines from Noisy Labels. Roko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo |
| 2024 | Learning to Ground Existentially Quantified Goals. Martin Funkquist, Simon Ståhlberg, Hector Geffner |
| 2024 | Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models. Jean-Marie Lagniez, Emmanuel Lonca |
| 2024 | Logical Distillation of Graph Neural Networks. Alexander Pluska, Pascal Welke, Thomas Gärtner, Sagar Malhotra |
| 2024 | Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs. Piero Andrea Bonatti, Francesco Magliocca, Luigi Sauro |
| 2024 | MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau |
| 2024 | Model Counting in the Wild. Arijit Shaw, Kuldeep S. Meel |
| 2024 | Monotone Rewritability and the Analysis of Queries, Views, and Rules. Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja |
| 2024 | Navigating and Querying Answer Sets: How Hard Is It Really and Why? Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte |
| 2024 | Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch |
| 2024 | Non-Rigid Designators in Modal and Temporal Free Description Logics. Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter |
| 2024 | Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis |
| 2024 | On Abstracting over the Irrelevant in Answer Set Programming. Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite |
| 2024 | On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events. Lukás Chrpa, Erez Karpas |
| 2024 | On the Expressivity of Recurrent Neural Cascades with Identity. Nadezda Alexandrovna Knorozova, Alessandro Ronca |
| 2024 | Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. David Carral, Lucas Larroque, Michaël Thomazo |
| 2024 | Operator-Based Semantics for Choice Programs: Is Choosing Losing? Jesse Heyninck |
| 2024 | Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. Kenneth Skiba, Matthias Thimm |
| 2024 | Planning Domain Model Acquisition from State Traces without Action Parameters. Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood |
| 2024 | Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging. Tommaso Flaminio, Lluís Godo, Giuliano Rosella |
| 2024 | Preference-Based Abstract Argumentation for Case-Based Reasoning. Adam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matthew Williams, Francesca Toni |
| 2024 | Probabilistic Synthesis and Verification for LTL on Finite Traces. Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger |
| 2024 | Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco |
| 2024 | Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2024 | Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek |
| 2024 | Queries With Exact Truth Values in Paraconsistent Description Logics. Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko |
| 2024 | Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities. Lucía Gómez Álvarez, Sebastian Rudolph |
| 2024 | Relational Graph Convolutional Networks Do Not Learn Sound Rules. Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks |
| 2024 | Repairing Assumption-Based Argumentation Frameworks. Anna Rapberger, Markus Ulbricht |
| 2024 | SHACL Validation under the Well-founded Semantics. Cem Okulmus, Mantas Simkus |
| 2024 | Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel. Jandson S. Ribeiro |
| 2024 | Shapley Value Computation in Ontology-Mediated Query Answering. Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2024 | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas |
| 2024 | Symmetries and Expressive Requirements for Learning General Policies. Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner |
| 2024 | The Realizability of Revision and Contraction Operators in Epistemic Spaces. Kai Sauerwald, Matthias Thimm |
| 2024 | The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. Piotr Ostropolski-Nalewaja, Sebastian Rudolph |
| 2024 | Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle |
| 2024 | Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2024 | Verification of General Games with Imperfect Information Using Strategy Logic. Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | Weak Admissibility for ABA via Abstract Set-Attacks. Lydia Blümel, Matthias König, Markus Ulbricht |
| 2024 | Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism. Patricia Everaere, Sébastien Konieczny, Ramón Pino Pérez |
| 2024 | dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning. Renato Lui Geh, Jonas Gonçalves, Igor Cataneo Silveira, Denis Deratani Mauá, Fábio G. Cozman |