Paraconsistent reasoning for inconsistency measurement in declarative process specifications

Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant. Paraconsistent reasoning for inconsistency measurement in declarative process specifications. Inf. Syst., 122:102347, 2024. [doi]

Abstract

Abstract is missing.