Braid is undecidable.

Published in: CoRR (2014)

Keyphrases

sufficient conditions
np complete
datalog programs
machine learning
data sets
artificial intelligence
expert systems
query language
integrity constraints