| 2024 | Collective Satisfaction Semantics for Opinion Based Argumentation. | Juliete Rossie, Jrme Delobelle, Sbastien Konieczny, Clment Lens, Srdjan Vesic |
| 2024 | Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel. | Jandson S. Ribeiro |
| 2024 | Repairing Assumption-Based Argumentation Frameworks. | Anna Rapberger, Markus Ulbricht |
| 2024 | Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties). | Nico Potyka, Richard Booth |
| 2024 | Logical Distillation of Graph Neural Networks. | Alexander Pluska, Pascal Welke, Thomas Grtner, Sagar Malhotra |
| 2024 | Learning Robust Reward Machines from Noisy Labels. | Roko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo |
| 2024 | The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. | Piotr Ostropolski-Nalewaja, Sebastian Rudolph |
| 2024 | Explaining Decisions in ML Models: A Parameterized Complexity Analysis. | Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider |
| 2024 | SHACL Validation under the Well-founded Semantics. | Cem Okulmus, Mantas Simkus |
| 2024 | Relational Graph Convolutional Networks Do Not Learn Sound Rules. | Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks |
| 2024 | Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. | Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz |
| 2024 | Description Logics with Abstraction and Refinement: From ALC to EL. | Carsten Lutz, Lukas Schulze |
| 2024 | Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. | Carsten Lutz, Quentin Manire |
| 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 | Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. | Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Jrvisalo |
| 2024 | Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models. | Jean-Marie Lagniez, Emmanuel Lonca |
| 2024 | On the Expressivity of Recurrent Neural Cascades with Identity. | Nadezda Alexandrovna Knorozova, Alessandro Ronca |
| 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 | Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. | Yacine Izza, Xuanxiang Huang, Antnio Morgado, Jordi Planes, Alexey Ignatiev, Joo Marques-Silva |
| 2024 | Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. | Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krtzsch |
| 2024 | LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. | David Ing, Sad Jabbour, Lakhdar Sais, Fabien Delorme |
| 2024 | Incentive Design for Rational Agents. | David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge |
| 2024 | Extending Description Logics with Generic Concepts - the Tale of Two Semantics. | Joshua Hirschbrunn, Yevgeny Kazakov |
| 2024 | Operator-Based Semantics for Choice Programs: Is Choosing Losing? | Jesse Heyninck |