Description
This book constitutes the proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2026, which took place in Hanover, Germany, during March 2026.
The 13 full papers and 5 short papers included in these proceedings, together with 7 poster papers, were carefully reviewed and selected from 37 submissions. The papers were organized into topical sections as follows: Team Semantics, Structures for Argumentation and Modal Logics, Belief Bases and Revision, Database Theory, Foundations, Explanations, and Poster Papers.
,- 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.
