Unification-Based Semantic Interpretation.

Robert C. Moore

Published in: ACL (1989)

Keyphrases

semantic interpretation
knowledge sources
natural language
conceptual representation
higher order
world model
language understanding
medical domain
equational theories
broad coverage
theorem prover
theorem proving
three dimensional
real world
third party
information processing
text mining
computer vision