Program

11:00	Iosif Apostolakis and Johannes P. Wallner Simplifying Argumentation Frameworks by Clustering Structural Patterns (abstract) PRESENTER: Iosif Apostolakis Discussant: Emmanuel Waller
11:45	Michael Baier and Johannes P. Wallner Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks (abstract) PRESENTER: Johannes P. Wallner Discussant: Moritz Bayerkuhnlein

12:30-14:00Lunch Break

14:00-15:30 Session 4: Foundations

Chair:

Heribert Vollmer

14:00	Nadia Creignou, Timo Merkl, Reinhard Pichler and Daniel Unterberger From FPT Decision to FPT Enumeration (abstract) PRESENTER: Daniel Unterberger Discussant: Arne Meier
14:45	Hongkai Yin Revisiting the fluted and forward fragments with guards (abstract) Discussant: Minna Hirvonen

15:30-16:00Coffee Break

16:00-17:45 Session 5: Team Semantics

Chair:

Jonni Virtema

16:00	Aleksi Anttila, Juha Kontinen and Fan Yang Complexity Results in Team Semantics: Nonemptiness Is Not So Complex (abstract) PRESENTER: Aleksi Anttila Discussant: Kai Sauerwald
16:30	Fausto Barbero Two strong undefinability results in inquisitive and team semantics (abstract) Discussant: Juha Kontinen
17:00	Minna Hirvonen Implication Problems over Positive Semirings (abstract) Discussant: Gabriele Kern-Isberner

18:00-21:00 Reception

Tuesday, March 24th

View this program: with abstracts session overview talk overview

09:30-10:30 Session 6: Invited Speaker

Chair:

Jonni Virtema

09:30

Floris Geerts

Relational Neural Networks (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 7: Database Theory

Chair:

Floris Geerts

11:00	Jelle Hellings and Yuchen You Short and Simple Explanations for Datalog Derivations (abstract) PRESENTER: Yuchen You Discussant: Franz Baader
11:45	Jan Van den Bussche and Emmanuel Waller Analyzing the behavior of database applications through size descriptions (abstract) PRESENTER: Emmanuel Waller Discussant: Lena Wiese

12:30-14:00Lunch Break

14:00-15:30 Session 8: Posters: Lightning Talks

Chairs:

Anni-Yasmin Turhan and Jonni Virtema

14:00	Matilda Häggblom Axiomatizing variants of approximate inclusion (abstract)
14:13	Yudai Kubono On Translating Epistemic Operators in a Logic of Awareness (abstract)
14:26	Mattias Brännström, Themis Dimitra Xanthopoulou and Andreas Brännström Intermediate Knowledge Problem (abstract) PRESENTER: Mattias Brännström
14:39	Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea and Vijay Ganesh SMT Algorithm Selection with High-Level Natural-Language Descriptions (abstract) PRESENTER: Florin Manea
14:52	Jakob Suchan, Salim Baloch and Mehul Bhatt Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense (abstract) PRESENTER: Jakob Suchan
15:05	Diedrich Wolter and Tobias Schwartz Planning and Temporal Planning by Qualitative Temporal Reasoning (abstract) PRESENTER: Diedrich Wolter
15:18	Andreas Brännström, Esteban Guerrero, Maria Wojtowicz, Jonna Hasselaar, Staffan Jacobson, Urban Wiklund and Juan Carlos Nieves Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy (abstract) PRESENTER: Esteban Guerrero

15:30-16:00Coffee Break

16:00-17:00 Session 9: Poster Session

17:00-17:30 Session 10: FoIKS Business Meeting

Chair:

Juha Kontinen

Wednesday, March 25th

View this program: with abstracts session overview talk overview

09:30-10:30 Session 11: Invited Speaker

Chair:

Jonni Virtema

09:30

Wolfgang Nejdl

Reasoning for LLM-based agents (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 12: Incomplete Information

Chair:

Wolfgang Nejdl

11:00	Tim Wolfgang Helmut Schwabe and Lena Wiese Extending Similarity Measures for Incomplete Database Instances with Locality-Sensitive Hashing (abstract) PRESENTER: Lena Wiese Discussant: Florin Manea
11:45	Miika Hannula, Minna Hirvonen, Juha Kontinen and Sebastian Link Independence Under Incomplete Information (abstract) PRESENTER: Minna Hirvonen Discussant: Leopoldo Bertossi

12:30-14:00Lunch Break

14:00-15:15 Session 13: Modal Logic

Chair:

Franz Baader

14:00	Prosenjit Howlader and Churn-Jung Liau A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts (abstract) PRESENTER: Churn-Jung Liau Discussant: Fausto Barbero
14:45	Andreas Krebs and Arne Meier When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames (abstract) PRESENTER: Arne Meier Discussant: Hongkai Yin

15:45-16:30 Guided walk to cityhall

16:30-17:30 Tour of new cityhall

18:00-23:00 Conference Dinner

Thursday, March 26th

View this program: with abstracts session overview talk overview

09:30-10:30 Session 14: Invited Speaker

Chair:

Anni-Yasmin Turhan

09:30

Ana Ozaki

Semiring Provenance for Ontology-Based Data Access (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 15: Explainability

Chair:

Ana Ozaki

11:00	Leopoldo Bertossi and Felipe Azua Causality-Based Scores Alignment in Explainable Data Management (abstract) PRESENTER: Felipe Azua Discussant: Jelle Hellings
11:45	Franz Baader An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers (abstract) Discussant: Churn-Jung Liau

12:30-14:00Lunch Break

14:00-15:45 Session 16: Belief bases and revision

Chair:

Leopoldo Bertossi

14:00	Moritz Bayerkuhnlein, Özgür Lütfü Özcep and Diedrich Wolter Abductive Expansion for Belief Bases (abstract) PRESENTER: Moritz Bayerkuhnlein Discussant: Christoph Beierle
14:30	Sebastian Rudolph and Kai Sauerwald Mutual Irreducibility of Revision and Multiple Revision (abstract) PRESENTER: Kai Sauerwald Discussant: Aleksi Anttila
15:00	Lars-Phillip Spiegel, Christoph Beierle, Gabriele Kern-Isberner and Alexander Hahn Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations (abstract) PRESENTER: Lars-Phillip Spiegel Discussant: Johannes P. Wallner

15:45-16:00 Session 17: Closing Remarks

Chairs:

Arne Meier, Anni-Yasmin Turhan and Jonni Virtema