Proof Relevant Corecursive Resolution.

Peng Fu Ekaterina Komendantskaya Tom Schrijvers Andrew Pond

Published in: FLOPS (2016)

Keyphrases

automatic theorem proving
high resolution
theorem proving
low resolution
finding relevant
real time
data sets
probabilistic model
real world
information retrieval
decision making
digital libraries
higher level
closely related
consequence finding