Decidability and Synthesis of Abstract Inductive Invariants.

Francesco Ranzato

Published in: CoRR (2020)

Keyphrases

functional programs
machine learning
description logics
inductive learning
moment invariants
higher level
query answering
databases
data mining
video sequences
knowledge representation
modal logic
affine invariant
program synthesis