| 2023 | Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. | Andrei Popescu, Johannes P. Wallner |
| 2023 | Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. | Sergei Obiedkov, Baris Sertkaya |
| 2023 | Robust Alternating-Time Temporal Logic. | Aniello Murano, Daniel Neider, Martin Zimmermann |
| 2023 | Deterministic Weighted Automata Under Partial Observability. | Jakub Michaliszyn, Jan Otop |
| 2023 | Towards Systematic Treatment of Partial Functions in Knowledge Representation. | Djordje Markovic, Maurice Bruynooghe, Marc Denecker |
| 2023 | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. | Tim S. Lyon, Sebastian Rudolph |
| 2023 | Base-Based Model Checking for Multi-agent only Believing. | Tiago de Lima, Emiliano Lorini, Franois Schwarzentruber |
| 2023 | Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies. | Ahmed Laouar, Sihem Belabbes, Salem Benferhat |
| 2023 | Boosting Definability Bipartition Computation Using SAT Witnesses. | Jean-Marie Lagniez, Pierre Marquis |
| 2023 | Computing MUS-Based Inconsistency Measures. | Isabelle Kuhlmann, Andreas Niskanen, Matti Jrvisalo |
| 2023 | Belief Reconfiguration. | Sbastien Konieczny, Elise Perrotin, Ramn Pino Prez |
| 2023 | Formalizing Statistical Causality via Modal Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2023 | A New Class of Explanations for Classifiers with Non-binary Features. | Chunxi Ji, Adnan Darwiche |
| 2023 | Short Boolean Formulas as Explanations in Practice. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2023 | Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. | Martin Homola, Jlia Pukancov, Janka Boborov, Iveta Balintov |
| 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 | Plan Selection Framework for Policy-Aware Autonomous Agents. | Charles Harders, Daniela Inclezan |
| 2023 | Logics with Probabilistic Team Semantics and the Boolean Negation. | Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema |
| 2023 | Rational Closure Extension in SPO-Representable Inductive Inference Operators. | Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle |
| 2023 | Optimal Planning with Expressive Action Languages as Constraint Optimization. | Enrico Giunchiglia, Armando Tacchella |
| 2023 | Truth and Preferences - A Game Approach for Qualitative Choice Logic. | Robert Freiman, Michael Bernreiter |
| 2023 | Stable Normative Explanations: From Argumentation to Deontic Logic. | Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor |
| 2023 | The Universal Tangle for Spatial Reasoning. | David Fernndez-Duque, Konstantinos Papafilippou |
| 2023 | On Heuer's Procedure for Verifying Strong Equivalence. | Jorge Fandinno, Vladimir Lifschitz |
| 2023 | Planning with Partial Observability by SAT. | Saurabh Fadnis, Jussi Rintanen |