LINDA — PROGRAM

Days: Friday, 24 July 2026

Friday, 24 July 2026
09:00-10:00 Invited talk 1 LINDA
Location: B2.02
09:00-10:00
Probabilistic Databases for Dealing with Missing Values that are Governed by Missingness Mechanisms (abstract) 60 min
Leopoldo Bertossi1
1 Carleton University and IMFD
10:00-10:20 Poster announcements 1 LINDA
Location: B2.02
10:00-10:05
Model Repairing And Belief Change Operators (abstract) 5 min
Daniel Grimaldi1,3,4, Edwin Pin Baque2
1 University of Cape Town and CAIR
2 Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
3 Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
4 Instituto de Investigación en Ciencias de la Computación, UBA-CONICET
10:05-10:10
Approximate Functional Dependencies—Implication Problem Revisited (abstract) 5 min
Nicolas Fröhlich1, Matilda Häggblom2, Åsa Hirvonen2, Minna Hirvonen1
1 Leibniz Universität of Hannover
2 University of Helsinki
10:10-10:15
Bridging Statistical and Logical Perspectives on Inconsistency (abstract) 5 min
Lorenzo Zuccato1, Anne-Marie George1, Valeria Vitelli1, Arnoldo Frigessi1, Martin Giese1, Ida Scheel1
1 University of Oslo
10:15-10:20
A Closure-Based Semantics for Inconsistency Tolerant Agents (abstract) 5 min
Linda Gutsche1
1 Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, F-38000 Grenoble, France
10:20-11:15 Coffee Break and Poster Session 1 LINDA
11:15-12:45 Talk session 1 LINDA
Location: B2.02
11:15-11:45
Range Consistent Query Answering via Rewriting (abstract) 30 min
Jef Wijsen1
1 University of Mons (UMONS)
11:45-12:15
Towards a Thorough Understanding of ABox Abduction Under Repair Semantics (abstract) 30 min
Anselm Haak1, Patrick Koopmann2, Yasir Mahmood1, Anni-Yasmin Turhan1
1 Paderborn University
2 Vrije Universiteit Amsterdam
12:15-12:45
Towards an End-to-End ASP-Based System for Handling Inconsistent Prioritized Data (abstract) 30 min
Meghyn Bienvenu1, Camille Bourgaux2, Katsumi Inoue3, Robin Jean1, Giuseppe Mazzotta4
1 CNRS & University of Bordeaux
2 CNRS & DI ENS
3 National Institute of Informatics, Tokyo
4 University of Calabria
12:45-13:45 Lunch LINDA
Location: B2.02
13:45-14:45 Talk session 2 LINDA
Location: B2.02
13:45-14:15
Optimal Correction Sets for Argumentative Causal Discovery (abstract) 30 min
Fabrizio Russo1, Giuseppe Mazzotta2, Carmine Dodaro2, Francesco Ricca2, Francesca Toni1
1 Imperial College London
2 University of Calabria
14:15-14:45
A local perspective on inconsistency in data-graphs (abstract) 30 min
Nina Pardal1, Maria Vanina Martinez2
1 University of Edinburgh
2 IIIA-CSIC
14:45-15:05 Poster announcements 2 LINDA
Location: B2.02
14:45-14:50
Preliminary Report on Scalable Optimal-Repair Based Query Answering with Non-Binary Conflicts (abstract) 5 min
Meghyn Bienvenu1, Camille Bourgaux2, Ahmed Laouar1
1 CNRS & University of Bordeaux
2 CNRS & DI ENS
14:50-14:55
Errors Need Not Show Up as Inconsistencies: From Error-tolerant Reasoning to Argumentation Frameworks (abstract) 5 min
Franz Baader1, Oscar Barreca1
1 TU Dresden
14:55-15:00
Towards Computing Pointwise Repairs in a Fragment of DatalogMTL (abstract) 5 min
Atefe atefe@mail.uni-paderborn.de
15:00-15:05
SHACL Validation and Static Analysis in Presence of Ontologies: an Overview (abstract) 5 min
Anouk Michelle Oudshoorn1
1 TU Vienna
15:05-16:00 Coffee Break and Poster Session 2 LINDA
16:00-17:00 Invited talk 2 LINDA
Location: B2.02
16:00-17:00
The Never-Ending Issue of Inconsistency Handling: Past and Future from a KR Perspective (abstract) 60 min
Thomas Eiter1
1 TU Wien
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑