| 2023 | On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev |
| 2023 | Mathematical Foundations for Joining Only Knowing and Common Knowledge. | Marcos Cramer, Samuele Pollaci, Bart Bogaerts |
| 2023 | Property Directed Reachability for Planning Revisited. | Ava Clifton, Charles Gretton |
| 2023 | Streamlining Input/Output Logics with Sequent Calculi. | Agata Ciabattoni, Dmitry Rozplokhas |
| 2023 | Everything You AlwaysWanted to Know About Urban Water Networks ButWere Afraid to Ask. | Nane Chahinian, Batoul Haydar, Serge Conrad, Stphane Debard, Carole Delenne |
| 2023 | Tractable Explaining of Multivariate Decision Trees. | Clment Carbonnel, Martin C. Cooper, Joo Marques-Silva |
| 2023 | A Comparative Study of Text Representations for French Real-Estate Classified Advertisements Information Extraction. | Lucie Cadorel, Andrea G. B. Tettamanzi |
| 2023 | Default Logic as a Species of Causal Reasoning. | Alexander Bochman |
| 2023 | Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. | Lydia Blmel, Matthias Thimm |
| 2023 | Combining Global and Local Merges in Logic-based Entity Resolution. | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca |
| 2023 | On Combining Collective Entity Resolution and Repairing (Extended Abstract). | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto |
| 2023 | Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. | Meghyn Bienvenu, Camille Bourgaux |
| 2023 | Forgetting Aspects in Assumption-Based Argumentation. | Matti Berthold, Anna Rapberger, Markus Ulbricht |
| 2023 | From Qualitative Choice Logic to Abstract Argumentation. | Michael Bernreiter, Matthias Knig |
| 2023 | Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. | Lars Bengel, Matthias Thimm |
| 2023 | Strategic Abilities of Forgetful Agents in Stochastic Environments. | Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano |
| 2023 | On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy. | Ringo Baumann, Anne-Marie Heine |
| 2023 | Unified Foundations of Team Semantics via Semirings. | Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema |
| 2023 | A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. | Ofer Arieli, Jesse Heyninck |
| 2023 | From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games. | Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza |
| 2023 | Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. | Luca Gmez lvarez, Sebastian Rudolph, Hannes Strass |
| 2023 | Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations. | Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jkel, Michael Beetz |
| 2023 | Diagnosis for Post Concept Drift Decision Trees Repair. | Shaked Almog, Meir Kalech |
| 2023 | Stable Semantics for Epistemic Abstract Argumentation Framework. | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |