Decidability of Definability.

Manuel Bodirsky Michael Pinsker Todor Tsankov

Published in: LICS (2011)

Keyphrases

description logics
fixed point
query answering
propositional logic
type checking
decision procedures
computer vision
finite model theory
database
machine learning
learning algorithm
knowledge base
mobile robot