EasyChair Smart SlideUser guide
Author: Anni-Yasmin Turhan

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

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

Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI_⊥

Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI_⊥

Igor de Camargo E Souza Câmara and Anni-Yasmin Turhan

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