Detecting Inconsistencies in Large First-Order Knowledge Bases

Schulz, S., Sutcliffe, G., Urban, J., Pease, A.

SCHULZ, S., et al. Detecting Inconsistencies in Large First-Order Knowledge Bases. In: MOURA, L., ed. CADE 26 - 26th International Conference on Automated Deduction. 26th International Conference on Automated Deduction, Gothenburg, 2017-08-06/2017-08-11. Basel: Springer, 2017. p. 310-325. LNAI. vol. 10395. ISSN 0302-9743. ISBN 978-3-319-63045-8. DOI 10.1007/978-3-319-63046-5_19.