Proof-Relevant Logical Relations for Name Generation.

Nick Benton Martin Hofmann Vivek Nigam

Published in: CoRR (2017)

Keyphrases

logical structure
logical rules
relevant concepts
information retrieval
higher level
closely related
semantic relations
temporal relations
truth values
neural network
data structure
natural language
expert systems
information retrieval systems
theorem proving
generation process