On the Parameterized Complexity of Learning Logic.

Steffen van Bergerem Martin Grohe Martin Ritzert

Published in: CoRR (2021)

Keyphrases

learning algorithm
reinforcement learning
automated reasoning
parameterized complexity
special case
learning problems