This volume contains the papers presented at a symposium on the application of logic-based methods for natural language understanding. Emphasis is put in use of the methods of computational linguistics and knowledge representation in natural language systems.