Generalising unit-refutation completeness and SLUR via nested input resolution

Matthew Gwynne Oliver Kullmann

Published in: CoRR (2012)

Keyphrases

theorem prover
theorem proving
data sets
decision making
high resolution
low resolution
databases
image sequences
digital libraries
artificial neural networks
evolutionary algorithm
input data
compositional semantics