No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.

Roger Bosman Georgios Karachalias Tom Schrijvers

Published in: ITP (2023)

Keyphrases

higher order
probabilistic inference
data sets
elimination algorithm
databases
information retrieval
multiscale
inference engine
decision theoretic