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