FoIKS 2022 Conference Program

The FoIKS 2022 program includes five invited talks and 13 contributed talks, an opening reception on June 20 and a combined excursion and conference dinner on June 22.

The following schedule is preliminary, changes are still possible.

Monday June 20

9:20-9:30	Welcome
9:30-10:30	Invited talk (Session Chair: Juha Kontinen) Jouko Väänänen Dependence logic: Some recent developments
10:30-11:00	Coffee break
11:00-12:30	Session 1: Action formalisms (Session Chair: Jelle Hellings) Tobias Schwartz, Jan H. Boockmann and Leon Martin. Towards the Evaluation of Action Reversibility in STRIPS using Domain Generators Respondent: Luís Cruz-Filipe Guillaume Feuillade, Andreas Herzig and Christos Rantsoudis. Database Repair via Event-Condition-Action Rules in Dynamic Logic Respondent: Jonas Haldimann
12:30-14:00	Lunch
14:00-15:30	Session 2: Relational algebra and functional dependencies 1 (Session Chair: Luís Cruz-Filipe) Jelle Hellings, Yuqing Wu, Dirk Van Gucht and Marc Gyssens. Optimizing multiset relational algebra queries using weak-equivalent rewrite rules Respondent: Attila Sali Joachim Biskup and Maximilian Berens. On Sampling Representatives of Relational Schemas with a Functional Dependency Respondent: Minna Hirvonen
15:30-16:00	Coffee break
16:00-17:00	Invited talk (Session Chair: Andreas Herzig) Zeev Volkovich Text classification using “imposter” projections method
18:00-19:00	Opening reception

Tuesday June 21

9:30-10:30	Invited talk (Session Chair: Attila Sali) Patricia Bouyer-Decitre Memory complexity for winning games on graphs
10:30-11:00	Coffee break
11:00-12:30	Session 3: Message passing (Session Chair: Minna Hirvonen) Floris Geerts, Jasper Steegmans and Jan Van den Bussche. On the expressive power of message-passing neural networks as global feature map transformers Respondent: Marc Gyssens Jelle Hellings and Mohammad Sadoghi. The Fault-Tolerant Cluster-sending Problem Respondent: Aziz Sfar
12:30-14:00	Lunch
14:00-15:30	Session 4: Logic programming and query answering (Session Chair: Jonas Haldimann) Toshiko Wakaki. Assumption-Based Argumentation for Extended Disjunctive Logic Programming Respondent: Iztok Savnik Luís Cruz-Filipe, Graca Gaspar and Isabel Nunes. Can you answer while you wait? Respondent: Andreas Herzig
15:30-16:00	Coffee break
16:00-17:00	Business meeting (Chair: Juha Kontinen)

Wednesday June 22

9:30-10:30	Invited talk (Session Chair: Ivan Varzinczak) Gabriele Kern-Isberner The Relevance of Formal Logics for Cognitive Logics, and Vice Versa
10:30-11:00	Coffee break
11:00-12:30	Session 5: Non-monotonic reasoning (Session Chair: Marc Gyssens) Jonas Philipp Haldimann and Christoph Beierle. Properties of System W and its Relationships to Other Inductive Inference Operators Respondent: Leon Martin Free time 11:45-12:30
12:30-14:00	Lunch
14:00-15:30	Session 6: Relational algebra and functional dependencies 2 (Session Chair: Jan van den Bussche) Munqath Al-Atar and Attila Sali. Approximate Keys and Functional Dependencies in Incomplete Databases With Limited domains Respondent: Joachim Biskup Minna Hirvonen. The implication problem for functional dependencies and variants of marginal distribution equivalences Respondent: Jelle Hellings
15:30-16:00	Coffee break
17:00-22:00	Excursion and conference dinner

Thursday June 23

9:30-10:30	Invited talk (Session Chair: Matti Järvisalo) Jussi Rintanen More automation to software engineering
10:30-11:00	Coffee break
11:00-12:30	Session 7: Graph-based reasoning (Session Chair: Joachim Biskup) Iztok Savnik, Kiyoshi Nitta, Riste Skrekovski and Nikolaus Augsten. Statistics of RDF store for querying knowledge graphs Respondent: Jasper Steegmans or Jan Van den Bussche Aziz Sfar, Dina Irofti and Madalina Croitoru. A graph based semantics for Logical Functional Diagrams Respondent: Tobias Schwartz
12:30-14:00	Closing + Lunch

Accepted Papers

• Floris Geerts, Jasper Steegmans and Jan Van den Bussche. On the expressive power of message-passing neural networks as global feature map transformers
• Jelle Hellings, Yuqing Wu, Dirk Van Gucht and Marc Gyssens. Optimizing multiset relational algebra queries using weak-equivalent rewrite rules
• Jonas Philipp Haldimann and Christoph Beierle. Properties of System W and its Relationships to Other Inductive Inference Operators
• Toshiko Wakaki. Assumption-Based Argumentation for Extended Disjunctive Logic Programming
• Guillaume Feuillade, Andreas Herzig and Christos Rantsoudis. Database Repair via Event-Condition-Action Rules in Dynamic Logic
• Munqath Al-Atar and Attila Sali. Approximate Keys and Functional Dependencies in Incomplete Databases With Limited domains
• Jelle Hellings and Mohammad Sadoghi. The Fault-Tolerant Cluster-sending Problem
• Luís Cruz-Filipe, Graca Gaspar and Isabel Nunes. Can you answer while you wait?
• Minna Hirvonen. The implication problem for functional dependencies and variants of marginal distribution equivalences
• Joachim Biskup and Maximilian Berens. On Sampling Representatives of Relational Schemas with a Functional Dependency
• Tobias Schwartz, Jan H. Boockmann and Leon Martin. Towards the Evaluation of Action Reversibility in STRIPS using Domain Generators
• Aziz Sfar, Dina Irofti and Madalina Croitoru. A graph based semantics for Logical Functional Diagrams
• Iztok Savnik, Kiyoshi Nitta, Riste Skrekovski and Nikolaus Augsten. Statistics of RDF store for querying knowledge graphs