On Non-automatizability in PAC-Semantics.

Published in: Electron. Colloquium Comput. Complex. (2013)

Keyphrases

formal semantics
sample complexity
upper bound
information systems
special case
sample size
lower bound
data sources
logic programming
pac learning
semantic representation
efficient learning
model theoretic