Inconsistency is a core problem in fields such as AI and data-intensive systems. In this work,
we address the problem of measuring inconsistency in declarative process specifications …

We address the problem of measuring inconsistency in declarative process specifications,
with an emphasis on linear temporal logic on fixed traces (LTL ff). As we will show, existing …

Real-world data are often inconsistent. Although a substantial amount of research has been
done on measuring inconsistency, this research concentrated on knowledge bases …

Real-world databases are often inconsistent. Although there has been an extensive body of
work on handling inconsistency, little work has been done on measuring inconsistency in …

Handling conflicting information is an important challenge in AI. Measuring inconsistency is
an approach that provides ways to quantify the severity of inconsistency and helps …

We propose an algorithm based on satisfiability problem (SAT) solving for determining the
contension inconsistency degree in propositional knowledge bases. In addition, we present …

We present algorithms based on satisfiability problem (SAT) solving, as well as answer set
programming (ASP), for solving the problem of determining inconsistency degrees in …

Inconsistency measurement aims at obtaining a quantitative assessment of the level of
inconsistency in knowledge bases. While having such a quantitative assessment is …

Ranking is ubiquitous in everyday life. This paper is concerned with the problem of ranking
information of a knowledge base when this latter is possibly inconsistent. In particular, the …

AI systems often need to deal with inconsistent information. For this reason, since the early
2000s, some AI researchers have developed ways to measure the amount of inconsistency …