Syntactic Theories and Unification

Claude Kirchner Francis Klay

Published in: LICS (1990)

Keyphrases

equational theories
natural language
higher order
theoretical framework
neural network
syntactic structures
semantic parsing
real world
e learning
computational models
theorem prover
theorem proving
natural language text
semantic role labeling
syntactic semantic