EasyChair Smart SlideUser guide
Author: Alisa Kovtunova

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

Finding Good Proofs fof Ontology-Mediated Query Answers

Finding Good Proofs fof Ontology-Mediated Query Answers

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

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: 3
Copyright © 2002 – 2026 EasyChair