Login / Signup
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