C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Inductive invariant generation via abductive inference.
Isil Dillig
Thomas Dillig
Boyang Li
Kenneth L. McMillan
Published in:
OOPSLA (2013)
Keyphrases
</>
abductive inference
machine learning
affine transformation
database
inductive inference
data sets
computer vision
case study
inductive logic programming
concept learning
affine invariant
moment invariants
invariant properties
deductive reasoning