Undecidability in Diagonalizable Algebras.

V. Yu. Shavrukov

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

Keyphrases

description logics
probabilistic planning
distributive lattices
answering queries
data sets
topological spaces
spatial reasoning
temporal reasoning
databases
search space
np hard
dynamic programming
bayesian networks
np complete
decision trees
computer vision
information retrieval
clifford algebra
database