Program

11:00	Franz Baader, Francesco Kriegel and Adrian Nuradiansyah Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies (abstract) PRESENTER: Franz Baader Discussant: Giuseppe De Giacomo
11:45	Yasir Mahmood, Jonni Virtema, Timon Barlag and Axel-Cyrille Ngonga Ngomo Computing Repairs Under Functional and Inclusion Dependencies via Argumentation (abstract) PRESENTER: Yasir Mahmood Discussant: Anssi Yli-Jyrä

12:30-14:00 Lunch Break

14:00-15:30 Session 4: Dependencies & Constraints

Chair:

Yasir Mahmood

14:00	Joachim Biskup Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies (abstract) Discussant: Juha Kontinen
14:45	Bence Kiraly and Attila Sali Minimal Armstrong databases for cardinality constraints (abstract) PRESENTER: Attila Sali Discussant: Jonas Philipp Haldimann

15:30-16:00 Coffee Break

16:00-17:30 Session 5: Beliefs

Chair:

Flavio Ferrarotti

16:00	Jonas Philipp Haldimann, Christoph Beierle and Gabriele Kern-Isberner Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference (abstract) PRESENTER: Jonas Philipp Haldimann Discussant: Thomas Schlögl
16:45	Marco Wilhelm, Gabriele Kern-Isberner and Christoph Beierle Core c-Representations and c-Core Closure for Conditional Belief Bases (abstract) PRESENTER: Marco Wilhelm Discussant: Kai Sauerwald

17:30-18:00 Session 6: Business Meeting

Chair:

Juha Kontinen

Tuesday, April 9th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 7: Invited Speaker Session

Chair:

Jonni Virtema

09:00

Andrei Popescu

Epi-Recursion and Epi-Corecursion (abstract)

10:00-10:30 Coffee Break

10:30-12:00 Session 8: Knowledge Representation and Reasoning

Chair:

Andrei Popescu

10:30	Ringo Baumann and Anne-Marie Heine On Naive Labellings - Realizability, Construction and Patterns of Redundancy (abstract) PRESENTER: Anne-Marie Heine Discussant: Franz Baader
11:15	Kai Sauerwald, Christoph Beierle and Gabriele Kern-Isberner Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin (abstract) PRESENTER: Kai Sauerwald Discussant: Marco Wilhelm

12:00-13:30 Lunch Break

13:30-15:00 Session 9: Nonmonotonicity

Chair:

Nina Pardal

13:30	Giorgio Cignarale, Roman Kuznets and Thomas Schlögl Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling (abstract) PRESENTER: Thomas Schlögl Discussant: Moritz Bayerkuhnlein
14:15	Martin von Berg, Arthur Sanin and Christoph Beierle Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems (abstract) PRESENTER: Martin von Berg Discussant: Max Sandström

15:00-15:30 Coffee Break

15:30-16:45 Session 10: Axiomatizations

Chair:

Attila Sali

15:30	Fausto Barbero On the logic of interventionist counterfactuals under indeterministic causal laws (abstract) Discussant: Magdalena Ortiz
16:15	Minna Hirvonen Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence (abstract) Discussant: Martin von Berg

17:00-18:15 Session 11: Panel Discussion

How Theory Can Address the Challenges in AI

This special event on Theory and AI is organised in collaboration with the Centre for Machine Intelligence (CMI).Panel discussion on how theory can address/contribute to the challenges in AI. The event takes place on Tuesday 9th April in the Diamond (32 Leavy Greave Road) (further details see https://foiks2024.github.io/panelDiscussion).

Chair:

Magdalena Ortiz

18:15-20:00 Networking, reception drinks and savoury bites

Wednesday, April 10th

View this program: with abstracts session overview talk overview

08:30-10:00 Session 12: Logics and Semantics I

Chair:

Timon Barlag

08:30	Flavio Ferrarotti, Klaus-Dieter Schewe, Yamine Ait Ameur, Neeraj Kumar Singh and Peter Riviere A Complete Fragment of LTL(EB) (abstract) PRESENTER: Flavio Ferrarotti Discussant: Antonio Yuste-Ginel
09:15	Mena Leemhuis, Özgür Lütfü Özcep and Diedrich Wolter Decomposing Analogy: A Logic Characterization (abstract) PRESENTER: Mena Leemhuis Discussant: Fausto Barbero

10:00-10:30 Coffee Break

10:30-12:15 Session 13: Logics and Semantics II

Chair:

Arne Meier

10:30	Max Sandström, Juha Kontinen and Jonni Virtema A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL (abstract) PRESENTER: Max Sandström Discussant: Flavio Ferrarotti
11:00	Thomas Mayer An investigation of the negationless fragment of the Rescher-Härtig quantifier (abstract) Discussant: Minna Hirvonen
11:30	Giuseppe De Giacomo, Marco Favorito and Luciana Silo Stochastic Service Composition for LTLf Goals (abstract) PRESENTER: Giuseppe De Giacomo Discussant: Attila Sali

12:15-12:45 Coffee Break

12:45-13:45 Session 14: Invited Speaker Session

Chair:

Juha Kontinen

12:45

Georg Gottlob

Hypertree Decompositions, an Ongoing Project (abstract)

13:45-21:00 Excursion and Dinner

Packed Lunch will be provided

Thursday, April 11th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 15: Invited Speaker Session

Chair:

Magdalena Ortiz

09:00

Uli Sattler

Engineering Ontologies requires more than Automated Reasoning (abstract)

10:00-10:30 Coffee Break

10:30-12:00 Session 16: Argumentation

Chair:

Arne Meier

10:30	Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly and Antonio Yuste-Ginel How to Manage Supports in Incomplete Argumentation (abstract) PRESENTER: Antonio Yuste-Ginel Discussant: Anne-Marie Heine
11:15	Giovanni Buraglio, Wolfgang Dvořák, Anna Rapberger and Stefan Woltran Constrained Derivation in Assumption-Based Argumentation (abstract) PRESENTER: Giovanni Buraglio Discussant: Timon Barlag

12:00-13:30 Lunch Break

13:30-15:00 Session 17: ASP

Chair:

Magdalena Ortiz

13:30	Moritz Bayerkuhnlein and Diedrich Wolter Model-Based Diagnosis with ASP for Non-Groundable Domains (abstract) PRESENTER: Moritz Bayerkuhnlein Discussant: Giovanni Buraglio
14:15	Anssi Yli-Jyrä, Heini Ikävalko and Tomi Janhunen Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization (abstract) PRESENTER: Anssi Yli-Jyrä Discussant: Mena Leemhuis

15:00-15:30 Session 18: Closing Session

Chairs:

Arne Meier, Jonni Virtema and Magdalena Ortiz