Rewrite rule inference using equality saturation.
Chandrakana NandiMax WillseyAmy ZhuYisu Remy WangBrett SaikiAdam AndersonAdriana SchulzDan GrossmanZachary TatlockPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- inference process
- bayesian networks
- databases
- bayesian model
- bayesian inference
- association rules
- active databases
- probabilistic inference
- random fields
- decision trees
- inference engine
- probabilistic reasoning
- dynamic bayesian networks
- rule induction
- belief networks
- classification rules
- knowledge representation
- grammatical inference
- rewrite rules