Labelled Proof Nets for the Syntax and Semantics of Natural Languages.

Published in: Log. J. IGPL (1999)

Keyphrases

natural language
context sensitive
natural language understanding
semantic interpretation
computer vision
mathematical proofs
neural network
linear logic
databases
search engine
special case
logic programming
semantic analysis