Why Not? Explaining Missing Entailments with Evee

Download PDF

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov

Published: 01 Jan 2023, Last Modified: 15 Aug 2024Description Logics 2023EveryoneRevisionsBibTeXCC BY-SA 4.0