-Definability.

Sy D. Friedman Boban Velickovic

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

fixed point
propositional logic
finite model theory
social networks
database
similarity measure
training data
np hard
probability distribution
knowledge representation
knowledge discovery
first order logic