Computational Semantics
Introduction
Computational Semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expressions. Traditional topics of interest are: compositional semantics, semantic underspecification, anaphora and presupposition resolution, and quantifier scope resolution.