| 2023 | Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. | Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser |
| 2023 | Contrastive Explanations for Answer-Set Programs. | Thomas Eiter, Tobias Geibinger, Johannes Oetsch |
| 2023 | Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture. | Sjur K. Dyrkolbotn |
| 2023 | First Steps Towards Taming Description Logics with Strings. | Stphane Demri, Karin Quaas |
| 2023 | Non-Normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
| 2023 | Comparing Planning Domain Models Using Answer Set Programming. | Luks Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati |
| 2023 | Categorical Approximation Fixpoint Theory. | Angelos Charalambidis, Panos Rondogiannis |
| 2023 | Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. | Igor de Camargo e Souza Cmara, Anni-Yasmin Turhan |
| 2023 | Logic, Accountability and Design: Extended Abstract. | Pedro Cabalar, David Pearce |
| 2023 | Past-Present Temporal Programs over Finite Traces. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | Deontic Equilibrium Logic with eXplicit Negation. | Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre |
| 2023 | delphic: Practical DEL Planning via Possibilities. | Alessandro Burigana, Paolo Felli, Marco Montali |
| 2023 | Enhancing Temporal Planning by Sequential Macro-Actions. | Marco De Bortoli, Luks Chrpa, Martin Gebser, Gerald Steinbauer-Wagner |
| 2023 | Non-standard Modalities in Paraconsistent Gdel Logic. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko |
| 2023 | Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation. | Leopoldo E. Bertossi, Jorge E. Leon |
| 2023 | On the Expressive Power of Assumption-Based Argumentation. | Matti Berthold, Anna Rapberger, Markus Ulbricht |
| 2023 | Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. | Vaishak Belle |
| 2023 | Beyond | Bartosz Bednarczyk |
| 2023 | Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. | Fausto Barbero, Jonni Virtema |
| 2023 | Optimal Repairs in the Description Logic | Franz Baader, Patrick Koopmann, Francesco Kriegel |
| 2023 | Data Graphs with Incomplete Information (and a Way to Complete Them). | Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari |
| 2023 | How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. | Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrs R. Saravia |
| 2023 | Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | Generative Datalog and Answer Set Programming - Extended Abstract. | Mario Alviano |
| 2021 | ReAD: AD-Based Modular Ontology Classification. | Haoruo Zhao, Bijan Parsia, Uli Sattler |