Books on Computational Semantics by Patrick Blackburn & Johan Bos
Representation and Inference for Natural Language
A First Course in Computational Semantics
ISBN (Paperback): 1575864967   ISBN (Cloth): 1575864959
Table of Contents
Chapter 1. First-Order Logic
Chapter 2. Lambda Calculus
Chapter 3. Underspecified Representations
Chapter 4. Propositional Inference
Chapter 5. First-Order Inference
Chapter 6. Putting It All Together
Available now as paperback (ISBN 1575864967) or cloth (ISBN 1575864959)
Cite the book: bibtex
Order the book: CSLI Barnes & Noble
Interview with Patrick Blackburn in PhiNews
Downloading and installing the software: click here
Download our article in Theoria 18 No.46: 27-45, 2003: ps.gz pdf bibtex
The Prolog course: Learn Prolog Now