collaborators

1 paper

cs.AI2025

(Neural-Symbolic) Machine Learning for Inconsistency Measurement

Sven Weinzierl, Carl Cora

We present machine-learning-based approaches for determining the \emph{degree} of inconsistency -- which is a numerical value -- for propositional logic knowledge bases. Specifical…