Induction in Saturation.

Laura Kovács Petra Hozzová Márton Hajdú Andrei Voronkov

Published in: IJCAR (1) (2024)

Keyphrases

rule induction
inductive learning
constructive induction
program synthesis
artificial intelligence
explanation based learning
optimal solution
sequence prediction
discovery process
digital libraries
real time
similarity measure
decision trees
image processing
information retrieval
machine learning
data mining