On the decidability of $k$-Block determinism.

Pascal Caron Ludovic Mignot Clément Miklarz

Published in: CoRR (2017)

Keyphrases

description logics
query answering
artificial intelligence
data sets
multiresolution
databases
neural network
image processing
block size
decision procedures