Undecidability of the Theories of Classes of Structures.

Asher M. Kach Antonio Montalbán

Published in: J. Symb. Log. (2014)

Keyphrases

description logics
theoretical framework
real time
database systems
class labels
image structure
probabilistic planning
multiscale
complex structures
equivalence classes
multiple classes