PROGRAM
Days: Monday, March 23rd Tuesday, March 24th Wednesday, March 25th Thursday, March 26th
Monday, March 23rd
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 2: Invited Speaker (EurAI Talk)
| 09:30 | Reactive Program Synthesis in AI (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 3: Argumentation Frameworks
| 11:00 | Simplifying Argumentation Frameworks by Clustering Structural Patterns (abstract) PRESENTER: Iosif Apostolakis |
| 11:45 | Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks (abstract) PRESENTER: Johannes P. Wallner |
12:30-14:00Lunch Break
14:00-15:30 Session 4: Foundations
| 14:00 | From FPT Decision to FPT Enumeration (abstract) PRESENTER: Daniel Unterberger |
| 14:45 | Revisiting the fluted and forward fragments with guards (abstract) |
15:30-16:00Coffee Break
16:00-17:45 Session 5: Team Semantics
| 16:00 | Complexity Results in Team Semantics: Nonemptiness Is Not So Complex (abstract) PRESENTER: Aleksi Anttila |
| 16:30 | Two strong undefinability results in inquisitive and team semantics (abstract) |
| 17:00 | Implication Problems over Positive Semirings (abstract) |
Tuesday, March 24th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 6: Invited Speaker
| 09:30 | Relational Neural Networks (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 7: Database Theory
| 11:00 | Short and Simple Explanations for Datalog Derivations (abstract) |
| 11:45 | Analyzing the behavior of database applications through size descriptions (abstract) PRESENTER: Emmanuel Waller |
12:30-14:00Lunch Break
14:00-15:30 Session 8: Posters: Lighting Talks
| 14:00 | Axiomatizing variants of approximate inclusion (abstract) |
| 14:13 | On Translating Epistemic Operators in a Logic of Awareness (abstract) |
| 14:26 | Intermediate Knowledge Problem (abstract) PRESENTER: Mattias Brännström |
| 14:39 | SMT Algorithm Selection with High-Level Natural-Language Descriptions (abstract) PRESENTER: Florin Manea |
| 14:52 | Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense (abstract) |
| 15:05 | Planning and Temporal Planning by Qualitative Temporal Reasoning (abstract) |
| 15:18 | Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy (abstract) |
15:30-16:00Coffee Break
Wednesday, March 25th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 11: Invited Speaker
| 09:30 | Reasoning for LLM-based agents (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 12: Incomplete Information
| 11:00 | Extending Similarity Measures for Incomplete Database Instances with Locality-Sensitive Hashing (abstract) PRESENTER: Lena Wiese |
| 11:45 | Independence Under Incomplete Information (abstract) PRESENTER: Minna Hirvonen |
12:30-14:00Lunch Break
14:00-15:15 Session 13: Modal Logic
| 14:00 | A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts (abstract) PRESENTER: Churn-Jung Liau |
| 14:45 | When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames (abstract) PRESENTER: Arne Meier |
Thursday, March 26th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 14: Invited Speaker
| 09:30 | Semiring Provenance for Ontology-Based Data Access (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 15: Explainability
| 11:00 | Causality-Based Scores Alignment in Explainable Data Management (abstract) PRESENTER: Felipe Azua |
| 11:45 | An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers (abstract) |
12:30-14:00Lunch Break
14:00-15:45 Session 16: Belief bases and revision
| 14:00 | Abductive Expansion for Belief Bases (abstract) PRESENTER: Moritz Bayerkuhnlein |
| 14:30 | Mutual Irreducibility of Revision and Multiple Revision (abstract) PRESENTER: Kai Sauerwald |
| 15:00 | Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations (abstract) PRESENTER: Lars-Phillip Spiegel |