Twenty-nine selected and seven invited papers from the September 1990 Workshop. The main conference themes were: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, and partial and dynamic logics. No index. Annotation copyright Book News, Inc. Portland, Or.
