Non-linear reasoning for invariant synthesis.
Zachary KincaidJohn CyphertJason BreckThomas W. RepsPublished 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