Computational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expressions.
[1] It consequently plays an important role in natural-language processing and computational linguistics.
Some traditional topics of interest are: construction of meaning representations, semantic underspecification, anaphora resolution,[2] presupposition projection, and quantifier scope resolution.
Since 1999 there has been an ACL special interest group on computational semantics, SIGSEM.
You can help Wikipedia by expanding it.This semantics article is a stub.