Search Results - Max−Planck−Institut für Informatik :: UTM Library Massive Scholar Tracking

1

Subsumption of concepts in DL FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE−complete by Kazakov, Y, de Nivelle, H

Published 2015
“…Max−Planck−Institut für Informatik…”

Report
2

A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures by Kazakov, Y

Published 2005
“…Max−Planck−Institut für Informatik…”

Record
3

Recursive resolution for modal logic by Kazakov, Y

Published 2002
“…Max−Planck−Institut für Informatik…”

Conference item
4

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards by Kazakov, Y, de Nivelle, H

Published 2015
“…Max−Planck−Institut für Informatik…”

Report