Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning.

Ziyan Luo Xujie Si

Published in: SAIV (2014)

Keyphrases

inductive learning
knowledge acquisition
lazy learning
explanation based learning
machine learning
symbolic reasoning
meta learning
feature generation
inductive logic programming
artificial intelligence
feature selection
expert systems
prior knowledge
supervised learning
learning tasks
domain theory