Decidability and Synthesis of Abstract Inductive Invariants.
Francesco RanzatoPublished in: CONCUR (2020)
Keyphrases
- functional programs
- description logics
- inductive learning
- machine learning
- program synthesis
- high level
- inductive logic programming
- real time
- low level
- rule learning
- image registration
- invariant features
- higher level
- knowledge acquisition
- affine invariant
- concept learning
- data sets
- database
- knowledge representation
- artificial intelligence
- databases