Explaining axiom pinpointing

DOI10.1007/978-3-030-22102-7_22zbMath1444.68210OpenAlexW2954678445MaRDI QIDQ2185485

Rafael Peñaloza

Publication date: 4 June 2020

Full work available at URL: http://hdl.handle.net/10281/268045

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: Explaining axiom pinpointing