Restricted Distribution Automatizability in PAC-Semantics.

Published in: ITCS (2015)

Keyphrases

logic programming
special case
probability distribution
sample size
data distribution
noise tolerant
database
learning algorithm
objective function
training set
upper bound
programming language
semantic web
integrity constraints
sample complexity
formal semantics