Synthesizing axiomatizations using logic learning.

Paul Krogmeier Zhengyao Lin Adithya Murali P. Madhusudan

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

Keyphrases

learning process
online learning
learning algorithm
learning tasks
learning systems
incremental learning
learning problems
knowledge acquisition
learning scheme
learning community
empirical studies
learning activities
real time
active learning
information systems
artificial intelligence
data mining
data sets