15 years of consequence-based reasoning

DOI10.1007/978-3-030-22102-7_27zbMath1444.68192OpenAlexW2955876785MaRDI QIDQ2185492

Ian Horrocks, Bernardo Cuenca Grau, David Tena Cucala

Publication date: 4 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22102-7_27

zbMATH Keywords

automated reasoningknowledge representationdescription logicsontologies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: 15 years of consequence-based reasoning