Computational semantics for natural language.


Abstract:
This course is an introduction to the basic ideas of computational
semantics.  We show how to compute semantic representations for a
fragment of English, introduce basic logical concepts such as
consistency checking and entailment, show how inference can help
produce semantic representations in which ambiguities are resolved,
and finally discuss how to put these ideas together into unified
system.

The course will be based on selected material from

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

and 

     Working with Discourse Representation Theory 
     An Advanced Course in Computational Semantics 
     by Patrick Blackburn and Johan Bos

drafts of which can be found at www.comsem.org.