Localising iceberg inconsistencies
From MaRDI portal
Publication:2407883
DOI10.1016/j.artint.2017.02.005zbMath1419.68142MaRDI QIDQ2407883
Anthony Hunter, Glauber De Bona
Publication date: 6 October 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/1549754/1/aij17.pdf
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence