FOIKS 2026: FOIKS 2026 (14TH INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS)

A
Anttila, Aleksi	Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Apostolakis, Iosif	Simplifying Argumentation Frameworks by Clustering Structural Patterns
Azua, Felipe	Causality-Based Scores Alignment in Explainable Data Management
B
Baader, Franz	An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers
Baier, Michael	Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks
Baloch, Salim	Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense
Barbero, Fausto	Two strong undefinability results in inquisitive and team semantics
Bayerkuhnlein, Moritz	Abductive Expansion for Belief Bases
Beierle, Christoph	Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations
Bertossi, Leopoldo	Causality-Based Scores Alignment in Explainable Data Management
Bhatt, Mehul	Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense
Brännström, Andreas	Intermediate Knowledge Problem Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
Brännström, Mattias	Intermediate Knowledge Problem
C
Chen, Jiahao	SMT Algorithm Selection with High-Level Natural-Language Descriptions
Creignou, Nadia	From FPT Decision to FPT Enumeration
D
De Giacomo, Giuseppe	Reactive Program Synthesis in AI
G
Ganesh, Vijay	SMT Algorithm Selection with High-Level Natural-Language Descriptions
Geerts, Floris	Relational Neural Networks
Guerrero, Esteban	Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
Gurfinkel, Arie	SMT Algorithm Selection with High-Level Natural-Language Descriptions
H
Hahn, Alexander	Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations
Hannula, Miika	Independence Under Incomplete Information
Hasselaar, Jonna	Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
Hellings, Jelle	Short and Simple Explanations for Datalog Derivations
Hirvonen, Minna	Independence Under Incomplete Information Implication Problems over Positive Semirings
Howlader, Prosenjit	A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
Häggblom, Matilda	Axiomatizing variants of approximate inclusion
J
Jacobson, Staffan	Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
K
Kern-Isberner, Gabriele	Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations
Kontinen, Juha	Independence Under Incomplete Information Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Krebs, Andreas	When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
Kubono, Yudai	On Translating Epistemic Operators in a Logic of Awareness
L
Liau, Churn-Jung	A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
Link, Sebastian	Independence Under Incomplete Information
Lu, Zhengyang	SMT Algorithm Selection with High-Level Natural-Language Descriptions
M
Manea, Florin	SMT Algorithm Selection with High-Level Natural-Language Descriptions
Meier, Arne	When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
Merkl, Timo	From FPT Decision to FPT Enumeration
N
Nejdl, Wolfgang	Reasoning for LLM-based agents
Nieves, Juan Carlos	Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
O
Ozaki, Ana	Semiring Provenance for Ontology-Based Data Access
P
Pichler, Reinhard	From FPT Decision to FPT Enumeration
R
Rudolph, Sebastian	Mutual Irreducibility of Revision and Multiple Revision
S
Sarnighausen-Cahn, Paul	SMT Algorithm Selection with High-Level Natural-Language Descriptions
Sauerwald, Kai	Mutual Irreducibility of Revision and Multiple Revision
Schwabe, Tim Wolfgang Helmut	Extending Similarity Measures for Incomplete Database Instances with Locality-Sensitive Hashing
Schwartz, Tobias	Planning and Temporal Planning by Qualitative Temporal Reasoning
Spiegel, Lars-Phillip	Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations
Suchan, Jakob	Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense
U
Unterberger, Daniel	From FPT Decision to FPT Enumeration
V
Van den Bussche, Jan	Analyzing the behavior of database applications through size descriptions
W
Waller, Emmanuel	Analyzing the behavior of database applications through size descriptions
Wallner, Johannes P.	Simplifying Argumentation Frameworks by Clustering Structural Patterns Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks
Wiese, Lena	Extending Similarity Measures for Incomplete Database Instances with Locality-Sensitive Hashing
Wiklund, Urban	Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
Wojtowicz, Maria	Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy
Wolter, Diedrich	Abductive Expansion for Belief Bases Planning and Temporal Planning by Qualitative Temporal Reasoning
X
Xanthopoulou, Themis Dimitra	Intermediate Knowledge Problem
Y
Yang, Fan	Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Yin, Hongkai	Revisiting the fluted and forward fragments with guards
You, Yuchen	Short and Simple Explanations for Datalog Derivations
Ö
Özcep, Özgür Lütfü	Abductive Expansion for Belief Bases

Disclaimer | Powered by EasyChair Smart Program