EasyChair Smart SlideUser guide
Conference: CADE-28 (The 28th International Conference on Automated Deduction)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair