Sign in
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