A model-theoretic approach for recovering consistent data from inconsistent knowledge bases

DOI10.1023/A:1006020529663zbMath0922.68113OpenAlexW1486938123MaRDI QIDQ1284709

Arnon Avron, Ofer Arieli

Publication date: 26 April 1999

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006020529663

zbMATH Keywords

inconsistent knowledge bases

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Recovering Consistency by Forgetting Inconsistency, The value of the four values