Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

27 April 2021

Papers citing "Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)"

3 / 3 papers shown

Title
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving C. Wernhard 11 7 0 26 Sep 2022
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version) Christian Alrabbaa Stefan Borgwardt Tom Friese Patrick Koopmann Julián Méndez Alexej Popovivc 8 7 0 15 Jun 2022
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization Emilio Gamba B. Bogaerts Tias Guns LRM 32 6 0 25 May 2021