ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback.

Bartosz Piotrowski Josef Urban

Published in: IJCAR (2018)

Keyphrases

learning process
learning algorithm
learning systems
database
active learning
learning problems
learning analytics
real time
probabilistic model
high school
inductive learning
learning mechanism
motor skills