Positive Moments Forever: Undecidable and Decidable Cases.

Gemma De les Coves Joshua Graf Andreas Klingler Tim Netzer

Published in: CoRR (2024)

Keyphrases

datalog programs
positive and negative
sufficient conditions
feature extraction
feature vectors
data model
np complete
data exchange