EasyChair Smart SlideUser guide
Author: Franz Baader

This page shows all presentations of this author published in EasyChair Smart Slide.

Optimal ABox Repair W.R.T. Static EL TBoxes: from Quantified ABoxes Back to ABoxes (Extended Abstract)

Optimal ABox Repair W.R.T. Static EL TBoxes: from Quantified ABoxes Back to ABoxes (Extended Abstract)

Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez

Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

Franz Baader and Francesco Kriegel

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

ACUI Unification modulo Ground Theories

ACUI Unification modulo Ground Theories

Franz Baader, Pavlos Marantidis and Antoine Mottet

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