Syntactic Calculus with Dependent Types.

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

natural language
decision trees
semantic role labeling
artificial neural networks
probabilistic model
co occurrence
theorem proving
syntactic semantic