Proof-Relevant Logical Relations for Name Generation.

Nick Benton Martin Hofmann Vivek Nigam

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

logical rules
logical structure
real world
information systems
knowledge base
information retrieval
decision trees
information retrieval systems
semantic relations