1st International Workshop on
Inconsistency Measurement (IM'25)
@ECSQARU 2025, Hagen, Germany | September 23rd, 2025
@ECSQARU 2025, Hagen, Germany | September 23rd, 2025
Photo: FernUniversität in Hagen, Dirk Matull
Inconsistency measurement is a critical area in knowledge representation, data management, and automated reasoning, addressing the challenges posed by contradictory information within data and knowledge representation formalisms. The goal of this workshop is to provide a dedicated platform for researchers and practitioners alike to discuss recent advances in inconsistency measurement, explore novel ideas, and present practical applications across diverse domains.
We invite contributions focusing on (but not limited to):
Inconsistency Measurement
Culpability Measurement
Disagreement Measurement
Technical contributions can address novel concepts or techniques for the topics above, present novel algorithmic techniques, or provide new methods or results for the evaluation of the above forms of measures. We also invite contributions leveraging quantitative measures for further analysis, e.g., inconsistency resolution, or using inconsistency measures for reasoning in the presence of inconsistent information.
July 1st 2025: Paper submission July 15th: Paper submission (Extended)
August 20th: Notification of acceptance/rejection
August 31st: Deadline for authors to submit final manuscript for publication
September 23-26, 2025: ECSQARU conference (workshop on 23rd)
Deadlines are 11:59 PM, AOE time
14:00 - 15:00 Opening; Keynote by Anthony Hunter, University College London
15:00 - 15:15 - Coffee Break -
15:15 - 15:40 Measuring Inconsistency in a Fragment of Hybrid Logic
John Grant and Manuel A. Martins
15:40 - 16:05 Towards Measuring Minimal Inconsistencies in Declarative Process Models
Sabine Nagel and Patrick Delfmann
16:05 - 16:30 A MaxSAT-Based Approach for Computing Inconsistency Degrees in Linear Temporal Logic on Fixed Traces
Isabelle Kuhlmann
We will accept 2 forms of paper: Research-in-Progress (5 pages) and Full Papers (10 pages) - page limits are including references etc.
Please submit you papers via EasyChair: https://easychair.org/conferences?conf=im25
All accepted papers will be published in a CEUR-proceedings. All submissions must therefore follow the CEURART paper template
(https://ceur-ws.org/HOWTOSUBMIT.html#CEURART)
Submissions must be anonymized.
We aim to attain 2-3 reviews and 1 meta-review per paper. There is no author-response period.
Carl Corea
University of Koblenz, Germany
contact: ccorea(at)uni-koblenz.de
John Grant
University of Maryland, USA
contact: grant(at)cs.umd.edu
Leopoldo Bertossi (SKEMA Business School Canada Inc.)
Bryson Brown (University of Lethbridge)
Sylvie Doutre (University Toulouse Capitole - IRIT)
Hendrik Decker (LMU Munich)
Anthony Hunter (University College London)
Isabelle Kuhlmann (FernUniversität in Hagen)
Maria Vanina Martinez (IIIA - CSIC)
Manuel A. Martins (University of Aveiro)
Cristian Molinaro (Università della Calabria)
Kedian Mu (Peking University)
Sabine Nagel (Universität Koblenz)
Francesco Parisi (University of Calabria)
Matthias Thimm (FernUniversität in Hagen)
Johannes P. Wallner (TU Graz)