computational-semantics.com
"The aim of computational semantics is to find techniques for automatically constructing semantic representations for expressions of human language."[1]
1. Patrick Blackburn and Johan Bos, Computational Semantics. Theoria 18(1): 27-45 2003.