Non-linear reasoning for invariant synthesis.

Zachary Kincaid John Cyphert Jason Breck Thomas W. Reps

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

reasoning systems
knowledge representation
reasoning process
automated reasoning
program synthesis
model based reasoning

reasoning tasks
logical reasoning
resource bounded
analogical reasoning
knowledge representation and reasoning
spatial reasoning

affine transformation
domain knowledge
artificial intelligence
moment invariants
production rules
legal reasoning

formal models
expert systems
information systems
machine learning
real time