Foundations of Information and Knowledge Systems

,- 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.