TacTok: semantics-aware proof synthesis.
Emily FirstYuriy BrunArjun GuhaPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- database
- complete axiomatization
- proof theory
- databases
- proof theoretic
- formal semantics
- precise definition
- logical rules
- higher order logic
- conceptual graphs
- database systems
- semantic information
- conditional logic
- operational semantics
- logic programming
- transformation rules
- relational databases
- model theoretic
- program synthesis
- default reasoning
- texture synthesis
- conceptual model
- learning algorithm
- genetic algorithm
- mathematical proofs