| 2023 | On Computing Relevant Features for Explaining NBCs. | Yacine Izza, Joo Marques-Silva |
| 2023 | Leveraging Large Language Models to Generate Answer Set Programs. | Adam Ishay, Zhun Yang, Joohyung Lee |
| 2023 | Learning Interpretable Heuristics for WalkSAT. | Yannet Interian, Sara Bernardini |
| 2023 | Revising Typical Beliefs: One Revision to Rule Them All. | Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia |
| 2023 | The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. | Markus Hecher, Rafael Kiesel |
| 2023 | Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. | Jonas Philipp Haldimann, Christoph Beierle |
| 2023 | ArguCast: A System for Online Multi-Forecasting with Gradual Argumentation. | Deniz Gorur, Antonio Rago, Francesca Toni |
| 2023 | Group Responsibility for Exceeding Risk Threshold. | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder |
| 2023 | Standpoint Linear Temporal Logic. | Nicola Gigante, Luca Gmez lvarez, Tim S. Lyon |
| 2023 | A Multi-Agent System for Addressing Cybersecurity Issues in Social Networks. | Antonella C. Garcia, Maria Vanina Martinez, Cristhian A. D. Deagustini, Gerardo I. Simari |
| 2023 | Succinctness and Complexity of ALC with Counting Perceptrons. | Pietro Galliani, Oliver Kutz, Nicolas Troquard |
| 2023 | An Initial Exploration of How Argumentative Information Impacts Automatic Generation of Counter-Narratives Against Hate Speech. | Damin Ariel Furman, Pablo Torres, Jos A. Rodrguez, Diego Letzen, Maria Vanina Martinez, Laura Alonso Alemany |
| 2023 | Reasoning about Probability via Continuous Functions. | Tommaso Flaminio, Sandro Preto, Sara Ugolini |
| 2023 | Logic-based Composition of Business Process Models. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2023 | A Family of Decidable Bi-intuitionistic Modal Logics. | David Fernndez-Duque, Brett McLean, Lukas Zenger |
| 2023 | Credible Models of Belief Update. | Eduardo Ferm, Sbastien Konieczny, Ramn Pino Prez, Nicolas Schwind |
| 2023 | Causes for Changing Profiles (Preliminary Report). | Eduardo Ferm, Marco Garapa, Maurcio D. Lus Reis |
| 2023 | Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. | Jorge Fandinno, Vladimir Lifschitz |
| 2023 | A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. | Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri |
| 2023 | Weighted Merging of Propositional Belief Bases. | Patricia Everaere, Chouaib Fellah, Sbastien Konieczny, Ramn Pino Prez |
| 2023 | Revising Weighted Knowledge Bases Using FH-Conditioning. | Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne |
| 2023 | Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. | Dominik Drexler, Jendrik Seipp, Hector Geffner |
| 2023 | Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. | Paulius Dilkas, Vaishak Belle |
| 2023 | How to Manage a Budget with ATL+. | Stphane Demri, Raine Rnnholm |
| 2023 | Run-Based Semantics for RPQs. | Claire David, Nadime Francis, Victor Marsault |