EasyChair Smart SlideUser guide
Author: Yevgeny Kazakov

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

SAT-Based Axiom Pinpointing Revisited

SAT-Based Axiom Pinpointing Revisited

Birte Glimm and Yevgeny Kazakov

Concept Abduction for Description Logics

Concept Abduction for Description Logics

Birte Glimm, Yevgeny Kazakov and Michael Welt

Enumerating Justifications using Resolution

Enumerating Justifications using Resolution

Yevgeny Kazakov and Peter Skočovský

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