Login / Signup
Formula Slicing: Inductive Invariants from Preconditions.
Egor George Karpenkov
David Monniaux
Published in:
CoRR (2016)
Keyphrases
</>
explanation based learning
machine learning
inductive learning
situation calculus
affine invariant
invariant features
rule learning
knowledge representation
inductive logic programming
affine transformation
geometric invariants
data sets
computer vision
inference rules
affine moment invariants