| 2023 | Accessible Algorithms for Applied Argumentation. | Daphne Odekerken, Annemarie Borg, Matti Berthold |
| 2023 | Weak-Ensconcement for Shielded Base Contraction. | Alejandro J. Mercado, Daniel A. Grimaldi, Ricardo Oscar Rodrguez |
| 2023 | Active Disjunctive Constraint Acquisition. | Grgoire Menguy, Sbastien Bardin, Nadjib Lazaar, Arnaud Gotlieb |
| 2023 | Complex Event Recognition with Allen Relations. | Periklis Mantenoglou, Dimitrios Kelesis, Alexander Artikis |
| 2023 | Abstract Argumentation Applied to Fair Resources Allocation: A Preliminary Study. | Jean-Guy Mailly |
| 2023 | ViWaT: A Lightweight Ontology of the Vietnamese Wastewater Treatment Management with Biological Methodologies. | Thanh Ma, Thanh-Nghi Do, Nguyen-Khang Pham, Minh-Thu Tran-Nguyen, Tri-Thuc Vo, Salem Benferhat |
| 2023 | Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. | Tim S. Lyon, Piotr Ostropolski-Nalewaja |
| 2023 | Description Logics with Abstraction and Refinement. | Carsten Lutz, Lukas Schulze |
| 2023 | Querying Circumscribed Description Logic Knowledge Bases. | Carsten Lutz, Quentin Manire, Robin Nolte |
| 2023 | Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. | Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro |
| 2023 | ADP: An Argumentation-based Decision Process Framework Applied to the Modal Shift Problem. | Christopher Leturc, Flavien Balbo |
| 2023 | Counterfactual Explanations and Model Multiplicity: a Relational Verification View. | Francesco Leofante, Elena Botoeva, Vineet Rajani |
| 2023 | Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. | Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes P. Wallner |
| 2023 | Query Rewriting with Disjunctive Existential Rules and Mappings. | Michel Leclre, Marie-Laure Mugnier, Guillaume Prution-Kihli |
| 2023 | A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation. | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit |
| 2023 | Definitions and (Uniform) Interpolants in First-Order Modal Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2023 | A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. | Isabelle Kuhlmann, Matthias Thimm |
| 2023 | Verification of Semantic Key Point Detection for Aircraft Pose Estimation. | Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio |
| 2023 | On Epistemic Spaces for Iterated Belief Revision. | Sbastien Konieczny |
| 2023 | Planning with Epistemic Preferences. | Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith |
| 2023 | Knowledge Compilation and More with SharpSAT-TD. | Rafael Kiesel, Thomas Eiter |
| 2023 | On Training Neurons with Bounded Compilations. | Lance Kennedy, Issouf Kindo, Arthur Choi |
| 2023 | An AI Approach to Large-Scale Medical Appointment (Re)Scheduling Using ASP. | Stavros Kanias |
| 2023 | Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). | Matti Jrvisalo, Tuomo Lehtonen, Andreas Niskanen |
| 2023 | Practical Abstraction for Model Checking of Multi-Agent Systems. | Wojciech Jamroga, Yan Kim |