Treatment of anaphoric problems in referentially opaque contexts -- Knowledge processing in the LILOG project from the first to the second prototype -- Indexicality and representation -- Contextualization and de-contextualization -- Computational semantics: Steps towards “intelligent” text processing -- Propositional and depictorial representations of spatial knowledge: The case of path-concepts -- Slot Grammar -- On the logical structure of comparatives -- Aspects of consistency of sophisticated knowledge representation languages -- Unification based machine translation -- Perspectives in multiple-valued logic -- Properties and actions -- Rationale and methods for abductive reasoning in natural-language interpretation.

This volume contains the papers presented at the International Scientific Symposium "Natural Language and Logic" held in Hamburg in May 1989. The aim of the papers is to present and discuss latest developments in the application of logic-based meth- ods for natural language understanding. Logic-based methods have gained in importance in the field of computational linguistics as well as for representing various types of knowledge in natural language understanding systems. The volume gives an overview of recent results achieved within the LILOG project (LInguistic and LOgic methods for understanding German texts) - one of the largest research projects in the field of text understanding - as well as within related natural language understanding systems.