On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies.

Nadeschda Nikitina Sebastian Rudolph

Published in: RR (2012)

Keyphrases

special case
multiresolution
closely related
web services
decision trees
modal logic
artificial intelligence
search engine
information systems
multi agent systems
relational databases