Books on Computational Semantics by Patrick Blackburn & Johan Bos
Representation and Inference for Natural Language
A First Course in Computational Semantics
Working with Discourse Representation Theory
An Advanced Course in Computational Semantics
Last update: November 6, 2006