1. Inference and Computational Semantics

   • Patrick Blackburn
   • Michael Kohlhase

   Editorial Introduction Pages: 117 - 120

2. Analyzing the Core of Categorial Grammar

   • Carlos Areces
   • Raffaella Bernardi

   OriginalPaper Pages: 121 - 137

3. Computational Semantics in Discourse: Underspecification, Resolution, and Inference

   • Johan Bos

   OriginalPaper Pages: 139 - 157

4. Semantic Opposition and WordNet

   • Sandiway Fong

   OriginalPaper Pages: 159 - 171

5. Relevant Answers to WH-Questions

   • Helen Gaylard
   • Allan Ramsay

   OriginalPaper Pages: 173 - 186

6. Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game

   • Alexander Koller
   • Ralph Debusmann
   • Kristina Striegnitz

   OriginalPaper Pages: 187 - 206

7. Fragments of Language

   • Ian Pratt-Hartmann

   OriginalPaper Pages: 207 - 223

8. Dialogue Systems as Proof Editors

   • Aarne Ranta
   • Robin Cooper

   OriginalPaper Pages: 225 - 240