Guarded Kleene Algebra with Tests: Automata Learning.

Stefan Zetzsche Alexandra Silva Matteo Sammartino

Published in: CoRR (2022)

Keyphrases

learning algorithm
online learning
knowledge acquisition
active learning
learning process
learning tasks
reinforcement learning
prior knowledge
supervised learning
unsupervised learning
learning systems
relational databases
training data
logic programs
database systems
databases
fixed point
data sets