- Yakoub Salhi and Michael Sioutis, A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning, Full Paper
- Vít Punčochář, Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics, Full Paper
- Dominik Drexler, Jendrik Seipp and Hector Geffner, Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules, Full Paper
- David Fernández-Duque, Brett McLean and Lukas Zenger, A Family of Decidable Bi-intuitionistic Modal Logics, Full Paper
- Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino Perez, Weighted Merging of Propositional Belief Bases, Full Paper
- Lars Bengel and Matthias Thimm, Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation, Short Paper
- Antonio Rago, Hengzhi Li and Francesca Toni, Interactive Explanations by Conflict Resolution via Argumentative Exchanges, Full Paper
- Eduardo Fermé, Sébastien Konieczny, Ramon Pino Perez and Nicolas Schwind, Credible Models of Belief Update, Full Paper
- Federico Sabbatini and Roberta Calegari, Explainable Clustering with CREAM, Full Paper
- Lydia Blümel and Matthias Thimm, Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics, Full Paper
- Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp, Eliminating Redundant Actions from Plans using Classical Planning, Short Paper
- Michel Leclère, Marie-Laure Mugnier and Guillaume Pérution-Kihli, Query Rewriting with Disjunctive Existential Rules and Mappings, Full Paper
- Michael Bernreiter and Matthias König, From Qualitative Choice Logic to Abstract Argumentation, Short Paper
- Jesse Heyninck, Giovanni Casini, Thomas Meyer and Umberto Straccia, Revising typical beliefs: one revision to rule them all, Full Paper
- Tim Lyon and Piotr Ostropolski-Nalewaja, Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules, Short Paper
- Tommaso Flaminio, Sandro Preto and Sara Ugolini, Reasoning about probability via continuous functions, Full Paper
- Lance Kennedy, Issouf Kindo and Arthur Choi, On Training Neurons with Bounded Compilations, Full Paper
- Markus Hecher and Rafael Kiesel, The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits, Full Paper
- Pietro Galliani, Oliver Kutz and Nicolas Troquard, Succinctness and Complexity of ALC with Counting Perceptrons, Full Paper
- Zeynep G. Saribatur and Stefan Woltran, Foundations for Projecting Away the Irrelevant in ASP Programs, Full Paper
- Xinghan Liu, Emiliano Lorini, Andreas Herzig and Carlos Aguilera-Ventura, Counterfactual Reasoning via Grounded Distance, Full Paper
- Agata Ciabattoni and Dmitry Rozplokhas, Streamlining Input/Output Logics with Sequent Calculi, Full Paper
- Toryn Q. Klassen, Christian Muise and Sheila McIlraith, Planning with Epistemic Preferences, Short Paper
- Cándido Otero, Dennis Craandijk and Floris Bex, ORLA: Learning Explainable Argumentation Models, Full Paper
- Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks and Egor V. Kostylev, Revisiting Inferential Benchmarks for Knowledge Graph Completion, Full Paper
- Przemysław Andrzej Wałęga, Michal Zawidzki and Christoph Haase, Computing All Facts Entailed By An LTL Specification, Full Paper
- Clément Carbonnel, Martin Cooper and Joao Marques-Silva, Tractable Explaining of Multivariate Decision Trees, Full Paper
- Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal and Jonni Virtema, Unified Foundations of Team Semantics via Semirings, Full Paper
- Lukas Gerlach and David Carral, Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination, Full Paper
- Maksim Gladyshev, Natasha Alechina, Mehdi Dastani and Dragan Doder, Group Responsibility for Increasing Risk, Full Paper
- Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni and Francesco Pacenza, From Vision to Execution: Enabling Reasoning and Knowledge Representation in Hybrid Intelligent Robots Playing Mobile Games, Full Paper
- Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo and Angelo Montanari, A singly exponential transformation of LTL[X, F] into pure past LTL, Full Paper
- Carsten Lutz, Quentin Manière and Robin Nolte, Querying Circumscribed Description Logic Knowledge Bases, Full Paper
- Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Strass, Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+, Full Paper
- Periklis Mantenoglou, Dimitrios Kelesis and Alexander Artikis, Complex Event Recognition with Allen Relations, Full Paper
- Tim Lyon, Lucía Gómez Álvarez and Nicola Gigante, Standpoint Linear Temporal Logic, Full Paper
- Ronald Fagin, Phokion Kolaitis, Domenico Lembo, Lucian Popa and Federico Scafoglieri, A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases, Full Paper
- Daxin Liu, Qihui Feng, Vaishak Belle and Gerhard Lakemeyer, Concerning Measures in a First-order Logic with Actions and Meta-beliefs, Full Paper
- Rafael Kiesel and Thomas Eiter, Knowledge Compilation and more with SharpSAT-TD, Full Paper
- Stéphane Demri and Raine Rönnholm, How to Manage a Budget with ATL+, Full Paper
- Henry Prakken, Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions, Full Paper
- Carsten Lutz and Lukas Schulze, Description Logics with Abstraction and Refinement, Full Paper
- Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner and Matti Järvisalo, Argumentative Reasoning in ASPIC+ under Incomplete Information, Full Paper
- Ofer Arieli and Jesse Heyninck, Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences, Full Paper
- Meghyn Bienvenu and Camille Bourgaux, Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints, Full Paper
- Daira Pinto Prieto, Ronald de Haan and Aybüke Özgün, A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence, Full Paper
- Claire David, Nadime Francis and Victor Marsault, Run-Based Semantics for RPQs, Full Paper
- Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez, Iteration of Iterated Belief Revision, Full Paper
- Adam Ishay, Zhun Yang and Joohyung Lee, Neuro-Symbolic Reasoning with Large Language Models and Answer Set Programming: A Case Study on Logic Puzzles, Full Paper
- Jorge Fandinno and Vladimir Lifschitz, Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs, Full Paper
- Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel and Michael Beetz, Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations, Full Paper
- Ringo Baumann and Anne-Marie Heine, On Conflict-free Labellings – Realizability, Construction and Patterns of Redundancy, Short Paper
- Jonas Philipp Haldimann and Christoph Beierle, Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds, Short Paper
- Ruolin Wang, Yuejiao Xu, Jie Peng and Jianmin Ji, A$^2$CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles, Full Paper
- Valeria Fionda, Antonio Ielo and Francesco Ricca, Logic-based Composition of Business Process Models, Full Paper
- Agi Kurucz, Frank Wolter and Michael Zakharyaschev, Definitions and (Uniform) Interpolants in First-Order Modal Logic, Full Paper
- Paulius Dilkas and Vaishak Belle, Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures, Full Paper
- Wojtek Jamroga and Yan Kim, Practical Abstraction for Model Checking of Multi-Agent Systems, Full Paper
- Simon Ståhlberg, Blai Bonet and Hector Geffner, Learning General Policies with Policy Gradient Methods, Full Paper
- Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu and Alessio Lomuscio, Verification of Semantic Key Point Detection for Aircraft Pose Estimation, Short Paper
- Matti Berthold, Anna Rapberger and Markus Ulbricht, Forgetting Aspects in Assumption-Based Argumentation, Full Paper
- Shaked Almog and Meir Kalech, Diagnosis for Post Concept Drift Decision Trees Repair, Full Paper
- Alejandro J. Mercado, Daniel Grimaldi and Ricardo Oscar Rodriguez, Weak-ensconcement for Shielded base contraction, Full Paper
- Frederico Aleixo, Matthias Knorr and Joao Leite, Revising Boolean Logical Models of Biological Regulatory Networks, Full Paper
- Elena Umili, Roberto Capobianco and Giuseppe De Giacomo, Grounding LTLf specifications in image sequences, Full Paper
- Marcos Cramer, Samuele Pollaci and Bart Bogaerts, Mathematical Foundations for Joining Only Knowing and Common Knowledge, Full Paper
- David Tena Cucala, Bernardo Cuenca Grau, Boris Motik and Egor Kostylev, On the Correspondence Between Max-Sum GNNs and Datalog, Full Paper
- Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh and François Schwarzentruber, On simple expectations and observations of intelligent agents: A complexity study, Full Paper
- Francesco Leofante, Elena Botoeva and Vineet Rajani, Counterfactual Explanations and Model Multiplicity: a Relational Verification View, Short Paper
- Alexander Bochman, Default Logic as a Species of Causal Reasoning, Full Paper
- Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann and Aniello Murano, Strategic Abilities of Forgetful Agents in Stochastic Environments, Short Paper
- Rita T. Sousa, Sara Silva and Catia Pesquita, Explainable representations for relation prediction in knowledge graphs, Full Paper
- Thomas Lukasiewicz, Enrico Malizia and Cristian Molinaro, Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Preferred Repairs, Full Paper
- Ava Clifton and Charles Gretton, Property Directed Reachability for Planning Revisited, Full Paper
- Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner, Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity, Full Paper
- Sean Zammit and Michael Thielscher, General Game Playing With State-Independent Communication, Full Paper
- Marco Wilhelm, Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning, Full Paper
- Yannet Interian and Sara Bernardini, Learning Interpretable Heuristics for WalkSAT, Full Paper
- Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb, Active Disjunctive Constraint Acquisition, Full Paper
- Gianluca Cima, Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García, Combining Global and Local Merges in Logic-based Entity Resolution, Short Paper