2 papers
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…
cs.DL2024
Documentation Practices of Artificial Intelligence
Stefan Arnold, Dilara Yesilbas, Rene Gröbner +3
Artificial Intelligence (AI) faces persistent challenges in terms of transparency and accountability, which requires rigorous documentation. Through a literature review on document…