Languages with Decidable Learning: A Meta-theorem.

Paul Krogmeier P. Madhusudan

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

learning process
prior knowledge
active learning
learning systems
supervised learning
online learning
learning algorithm
unsupervised learning
grammatical inference
database
learning scheme
expressive power
mobile learning
background knowledge
knowledge acquisition
domain knowledge
feature selection
databases