,- Team Semantics .- Complexity Results in Team Semantics: Nonemptiness Is Not So Complex.- Two strong undefinability results.- Implication Problems over Positive Semirings.- Structures for Argumentation and Modal Logics .- Simplifying Argumentation Frameworks by Clustering Structural Patterns.- Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks.- A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts.

- Belief Bases and Revision .- Abductive Expansion for Belief Bases.- Mutual Irreducibility of Revision and Multiple Revision.- Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations.- Database Theory .- Independence Under Incomplete Information.- Extending Similarity Measures for Incomplete Database Instances with Locality-Sensitive Hashing.- Analyzing the behavior of database applications through size descriptions.

- Foundations .- From FPT Decision to FPT Enumeration.- When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames.- Revisiting the fluted and forward fragments with guards.- Explanations .- Causality-Based Scores Alignment in Explainable Data Management.- An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers.- Short and Simple Explanations for Datalog Derivations.

- Poster Papers .- Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy.- The Intermediate Knowledge Problem.- Axiomatizing Variants of Approximate Inclusion.- On Translating Epistemic Operators in a Logic of Awareness.- Learning SMT Algorithm Selection with High-Level Natural-Language Descriptions.- Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense.- Planning and Temporal Planning by Qualitative Temporal Reasoning.