Decidability of inferring inductive invariants.
Oded PadonNeil ImmermanSharon ShohamAleksandr KarbyshevMooly SagivPublished in: POPL (2016)
Keyphrases
- description logics
- machine learning
- inductive learning
- imperative programs
- inductive logic programming
- query answering
- knowledge representation
- inductive reasoning
- affine invariant
- geometric invariants
- inductive inference
- moment invariants
- genetic algorithm
- concept learning
- fourier descriptors
- rule learning
- decision procedures
- background knowledge
- functional programs
- website
- inductive concept learning