Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic.

Published in: SCAI (1988)

Keyphrases

first order logic
pairwise
expressive power
inference rules
machine learning
expert systems
probabilistic model
theorem proving