v1v2 (latest)

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

CADE (CADE), 2021

27 April 2021

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

6 / 6 papers shown

Why Not? Explaining Missing Entailments with Evee (Technical Report)Description Logics (DL), 2023

14 Aug 2023

Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving

C. Wernhard

129

26 Sep 2022

CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description)

C. Wernhard

133

18 Jul 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)Description Logics (DL), 2022

15 Jun 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionInternational Joint Conference on Automated Reasoning (IJCAR), 2022

19 May 2022

Efficiently Explaining CSPs with Unsatisfiable Subset OptimizationInternational Joint Conference on Artificial Intelligence (IJCAI), 2021

329

25 May 2021