Proof-Relevant Logical Relations for Name Generation.

Nick Benton Martin Hofmann Vivek Nigam

Published in: TLCA (2013)

Keyphrases

logical structure
logical rules
theorem prover
website
information retrieval
truth values
logical reasoning
databases
social networks
decision trees
multiscale
multi agent
closely related
real time
theorem proving
generation process
generation method
linear logic
relevant concepts