Improving First-order Model Searching by Propositional Reasoning and Lemma Learning.

Zhuo Huang Hantao Zhang Jian Zhang

Published in: SAT (2004)

Keyphrases

learning process
prior knowledge
learning models
learning scheme
computational model
mathematical model
learning tasks
learning systems
similarity measure
first order logic
online learning
formal model
supervised learning
probabilistic model
relational learning
probabilistic logic
inference process