Similarity-Based Equational Inference in Physics.

Jordan Meadows André Freitas

Published in: CoRR (2021)

Keyphrases

theorem proving
computer science
probabilistic inference
bayesian networks
artificial intelligence
evolutionary algorithm
inference process
belief networks
random fields
inference engine
efficient learning
exact inference
inference mechanism
inference problems
tree grammars