Login / Signup
Computing Minimal EL-unifiers is Hard.
Franz Baader
Stefan Borgwardt
Barbara Morawska
Published in:
Advances in Modal Logic (2012)
Keyphrases
</>
description logics
real time
bayesian networks
multiscale
cooperative
special case