| 2023 | A New Class of Explanations for Classifiers with Non-binary Features. Chunxi Ji, Adnan Darwiche |
| 2023 | A Principle-Based Analysis of Bipolar Argumentation Semantics. Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre |
| 2023 | Base-Based Model Checking for Multi-agent only Believing. Tiago de Lima, Emiliano Lorini, François Schwarzentruber |
| 2023 | Belief Reconfiguration. Sébastien Konieczny, Elise Perrotin, Ramón Pino Pérez |
| 2023 | Beyond Bartosz Bednarczyk |
| 2023 | Boosting Definability Bipartition Computation Using SAT Witnesses. Jean-Marie Lagniez, Pierre Marquis |
| 2023 | Categorical Approximation Fixpoint Theory. Angelos Charalambidis, Panos Rondogiannis |
| 2023 | Comparing Planning Domain Models Using Answer Set Programming. Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati |
| 2023 | Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. Mario Alviano, Laura Giordano, Daniele Theseider Dupré |
| 2023 | Computing MUS-Based Inconsistency Measures. Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo |
| 2023 | Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. Sergei Obiedkov, Baris Sertkaya |
| 2023 | Concept Combination in Weighted DL. Guendalina Righetti, Pietro Galliani, Claudio Masolo |
| 2023 | Contrastive Explanations for Answer-Set Programs. Thomas Eiter, Tobias Geibinger, Johannes Oetsch |
| 2023 | Data Graphs with Incomplete Information (and a Way to Complete Them). Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari |
| 2023 | Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan |
| 2023 | Declarative Reasoning on Explanations Using Constraint Logic Programming. Laura State, Salvatore Ruggieri, Franco Turini |
| 2023 | Deontic Equilibrium Logic with eXplicit Negation. Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre |
| 2023 | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. Tim S. Lyon, Sebastian Rudolph |
| 2023 | Deterministic Weighted Automata Under Partial Observability. Jakub Michaliszyn, Jan Otop |
| 2023 | Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation. Leopoldo E. Bertossi, Jorge E. Leon |
| 2023 | Enhancing Temporal Planning by Sequential Macro-Actions. Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner |
| 2023 | Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. Vaishak Belle |
| 2023 | First Steps Towards Taming Description Logics with Strings. Stéphane Demri, Karin Quaas |
| 2023 | Formalizing Statistical Causality via Modal Logic. Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2023 | Generative Datalog and Answer Set Programming - Extended Abstract. Mario Alviano |
| 2023 | Hamiltonian Cycle Reconfiguration with Answer Set Programming. Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2023 | How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia |
| 2023 | Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser |
| 2023 | Hybrid Modal Operators for Definite Descriptions. Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2023 | Logic, Accountability and Design: Extended Abstract. Pedro Cabalar, David Pearce |
| 2023 | Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz |
| 2023 | Logics with Probabilistic Team Semantics and the Boolean Negation. Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema |
| 2023 | Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová |
| 2023 | Non-Normal Modal Description Logics. Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
| 2023 | Non-standard Modalities in Paraconsistent Gödel Logic. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko |
| 2023 | On Heuer's Procedure for Verifying Strong Equivalence. Jorge Fandinno, Vladimir Lifschitz |
| 2023 | On the Expressive Power of Assumption-Based Argumentation. Matti Berthold, Anna Rapberger, Markus Ulbricht |
| 2023 | Optimal Planning with Expressive Action Languages as Constraint Optimization. Enrico Giunchiglia, Armando Tacchella |
| 2023 | Optimal Repairs in the Description Logic Franz Baader, Patrick Koopmann, Francesco Kriegel |
| 2023 | Past-Present Temporal Programs over Finite Traces. Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub |
| 2023 | Plan Selection Framework for Policy-Aware Autonomous Agents. Charles Harders, Daniela Inclezan |
| 2023 | Planning with Partial Observability by SAT. Saurabh Fadnis, Jussi Rintanen |
| 2023 | Rational Closure Extension in SPO-Representable Inductive Inference Operators. Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle |
| 2023 | Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. Andrei Popescu, Johannes P. Wallner |
| 2023 | Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub |
| 2023 | Robust Alternating-Time Temporal Logic. Aniello Murano, Daniel Neider, Martin Zimmermann |
| 2023 | Short Boolean Formulas as Explanations in Practice. Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2023 | Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck |
| 2023 | Stable Normative Explanations: From Argumentation to Deontic Logic. Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor |
| 2023 | Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. Fausto Barbero, Jonni Virtema |
| 2023 | The Universal Tangle for Spatial Reasoning. David Fernández-Duque, Konstantinos Papafilippou |
| 2023 | Towards Systematic Treatment of Partial Functions in Knowledge Representation. Djordje Markovic, Maurice Bruynooghe, Marc Denecker |
| 2023 | Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies. Ahmed Laouar, Sihem Belabbes, Salem Benferhat |
| 2023 | Truth and Preferences - A Game Approach for Qualitative Choice Logic. Robert Freiman, Michael Bernreiter |
| 2023 | Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture. Sjur K. Dyrkolbotn |
| 2023 | delphic: Practical DEL Planning via Possibilities. Alessandro Burigana, Paolo Felli, Marco Montali |