Login / Signup
On Probabilistic Term Rewriting.
Martin Avanzini
Ugo Dal Lago
Akihisa Yamada
Published in:
CoRR (2018)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
bayesian networks
probabilistic model
rewrite systems
generative model
databases
multi agent systems
xml documents
online learning
first order logic
probability theory