Q-Resolution with Generalized Axioms.

Florian Lonsing Uwe Egly Martina Seidl

Published in: SAT (2016)

Keyphrases

knowledge base
neural network
high resolution
low resolution
digital libraries
higher resolution
high quality