Decidability of definability

Manuel Bodirsky Michael Pinsker Todor Tsankov

Published in: CoRR (2010)

Keyphrases

description logics
fixed point
propositional logic
query answering
decision procedures
type checking
computational complexity
database
artificial intelligence
decision trees
data structure