Abstract Effects and Proof-Relevant Logical Relations

Nick Benton Martin Hofmann Vivek Nigam

Published in: CoRR (2012)

Keyphrases

relevant concepts
higher level
low level
logical structure
logical rules
databases
closely related
semantic relations
theorem proving
logical representation
data mining
metadata
data model
background knowledge
positive effects
truth values