are Undecidable.

Nikolaos Galatos Gavin St. John

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

Keyphrases

sufficient conditions
np complete
datalog programs
data sets
data mining
feature selection
multimedia
high level
image sequences
bayesian networks
computational complexity
expert systems
xml documents
knowledge representation