Resources

Main Text

• Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language, CSLI Studies in Computational Linguistics, Stanford, 2005, ISBN 1-57586-496-7

Articles
 

• Patrick Blackburn and Johan Bos, Computational Semantics Theoria 18 No.46: 27-45, 2003 [pdf]

• Patrick Blackburn, TAL 3.6, Discourse and Dialogue, Masters Course, Nancy University, 2007 [html]

Prolog Examples

• Exercise 1.3.3. - checks a model for modelhood [prolog]
• Blackburn's Prolog Archive [zip] [rar]

Links

• Definite Clause Grammars [ppt]
• NL Semantics Website [html]