Proof Relevant Corecursive Resolution.

Peng Fu Ekaterina Komendantskaya Tom Schrijvers Andrew Pond

Published in: CoRR (2015)

Keyphrases

low resolution
high resolution
automatic theorem proving
closely related
theorem prover
image sequences
highly relevant
consequence finding
databases
real world
knowledge base
high level
special case
logic programs
sampling rate