Computing natural language

the long version

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.