Case-Analysis for Rippling and Inductive Proof.

Moa Johansson Lucas Dixon Alan Bundy

Published in: ITP (2010)

Keyphrases

reinforcement learning
machine learning
learning algorithm
logic programs
inductive learning
real world
data structure
quantitative analysis
artificial intelligence
information systems
multiscale
information technology
statistical analysis
automatic analysis