Evaluation of Axiom Selection Techniques.

Qinghua Liu Zishi Wu Zihao Wang Geoff Sutcliffe

Published in: PAAR+SC²@IJCAR (2020)

Keyphrases

machine learning
neural network
feature selection
real time
databases
e learning
decision trees
reinforcement learning
search algorithm
feature space
relational databases
selection algorithm
evaluation method
evaluation metrics
inference rules