Q-Resolution with Generalized Axioms.

Florian Lonsing Uwe Egly Martina Seidl

Published in: CoRR (2016)

Keyphrases

first order logic
knowledge base
high resolution
low resolution
databases
machine learning
special case
motion estimation