Description
The workshop on “Logical Approaches to Handling Inconsistent Data” (LINDA) will be taking place on July 24th 2026. LINDA will be a co-located event of the Conference on Principles of Knowledge Representation and Reasoning (KR’2026) as a part of the Federated Logic conference (FLoC’2026). All of these events will be taking place in Lisbon.
Invited Speakers
There will be two invited speakers giving talks at the LINDA workshop:
Call for Papers
Context and motivation
It is widely acknowledged that real-world data is plagued with quality issues, including false and/or outdated information. A common method for detecting erroneous facts is to employ database constraints or domain knowledge, typically expressed in some logic-based formalisms. Once inconsistencies have been detected, one may either modify the data in order to restore consistency or reduce the level of inconsistency, and/or employ inconsistency-tolerant semantics in order to be able to return meaningful answers to queries despite the contradictory information. There is an extensive body of work on handling inconsistent data, which was developed initially within the database community but has subsequently grown into a prominent topic among knowledge representation and reasoning (KR) researchers, particularly in the context of ontology-based data access. However, despite notable advances, there still remains much to be done to obtain practical and robust inconsistency-handling methods and to develop scalable implementations. Moreover, there is a real need to bring together different groups and subareas working on the topic to exchange experiences. Indeed, there is much to gained from bridging research conducted in the database, KR, and Semantic Web communities, as well as across different KR subareas. The interest in doing so can be witnessed by several recent results showing how repairs of databases and knowledge bases can be related to argumentation and belief change, as well as by transfers of results between the database and KR settings. Furthermore, the development of effective tools will necessarily rely upon advances issuing from the automated reasoning community, notably, SAT solvers, answer set programming systems, rule engines, and ontology reasoners.
Aims and scope of the LINDA workshop
The LINDA workshop aims to bring together groups of researchers from different communities who are interested in developing principled logic-based methods for tackling inconsistent data, in order to share recent advances, discuss open challenges, and exchange experiences. A non-exhaustive list of topics in the scope of the workshop is the following:
- database and knowledge base repairs
- inconsistency-tolerant semantics (e.g. repair-based and paraconsistent semantics)
- inconsistency measures
- explanations of inconsistencies or query answers over inconsistent data
- incorporating qualitative or quantitative preferences
- probabilistic, possibilistic, and neuro-symbolic approaches to handling inconsistent data
- inconsistency handling for temporal and/or spatial data
- handling other forms of imperfect data (e.g. incompleteness, imprecision, uncertainty, entity resolution)
- connections to other KR areas (e.g. argumentation, logic programming, non-monotonic reasoning)
- implementations of inconsistency handling approaches
We also welcome contributions and participation from researchers working on closely related topics, whose experience may contribute to achieving robust methods for handling inconsistent data.
Details on how to prepare a submission for the LINDA workshop (the paper format, page limit and the submission system link, etc.) will be published on this page at the beginning of the year 2026.
Important dates (tentative)
All deadlines are AoE – Anywhere on Earth (UTC-12).
- Paper submission deadline: April 20, 2026
- Notification of acceptance: May 20, 2026
Submission guidelines
We invite extended abstracts (2-5 pages long, excluding references) related to the aforementioned topics. Reviewing will be single-blind. The papers should be formatted in Springer LNCS Style. The submission link will be added here shortly.
As the main aim of the workshop is to promote discussion, we welcome not only contributions reporting on unpublished results or ongoing work, but also extended abstracts that summarize previous publications that fall within the workshop scope. Note that to avoid any conflicts with previous or future publications, we will not have formal proceedings, but will make the papers available on the website.
Organisation
Organisers
Program committee members
TBA