Formalizing Box Inference for Capture Calculus.

Yichen Xu Martin Odersky

Published in: CoRR (2023)

Keyphrases

probabilistic inference
bayesian networks
bayesian inference
computer algebra
automated deduction
grammatical inference
real time
belief networks
markov random field
inference process
random fields
relational databases
knowledge base
information retrieval
data mining
neural network
data sets