Computing natural language

This book pursues the recent upsurge of research in the interface of logic, language and computation, with applications to artificial intelligence and machine learning. It contains a variety of contributions to the logical and computational analysis of natural language. A wide range of logical and computational tools are employed and applied to such varied areas as context-dependency, linguistic discourse, and formal grammar. The papers in this volume cover: context-dependency from philosophical, computational, and logical points of view; a logical framework for combining dynamic discourse semantics and preferential reasoning in AI; negative polarity items in connection with affective predicates; Head-Driven Phrase Structure Grammar from a perspective of type theory and category theory; and an axiomatic theory of machine learning of natural language with applications to physics word problems.