Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning.

Giles Reger Martin Suda Andrei Voronkov

Published in: TACAS (1) (2018)

Keyphrases

higher order
information theory
theoretical framework
expert systems
machine learning
case study
image segmentation
high level
bayesian networks
belief functions