Learning Formulas in Finite Variable Logics.

Paul Krogmeier P. Madhusudan

Published in: CoRR (2021)

Keyphrases

learning systems
learning algorithm
online learning
knowledge acquisition
neural network
active learning
machine learning
learning process
prior knowledge
query language
supervised learning
constraint satisfaction problems
learning scheme