Books on Computational Semantics by Patrick Blackburn & Johan Bos
Representation and Inference for Natural Language
A First Course in Computational Semantics

This book introduces a number of fundamental techniques for computing semantic representations for fragments of natural language and performing inference with the result. Both the underlying theory and their implementation in Prolog are discussed. We believe that the reader who masters these techniques will be in a good position to appreciate (and critically assess) ongoing developments in computational semantics.

To be more specific, this book introduces techniques for tackling the following two questions:

In the final chapter we introduce the Curt programs, which harness semantic construction and inference together in a single architecture.

Click here for complete introduction: pdf ps