This 1992 collection takes the exciting step of examining natural language phenomena from the perspective of both computational linguistics and formal semantics. Computational linguistics has until now been primarily concerned with the construction of computational models for handling the complexities of linguistic form, but has not tackled the questions of representing or computing meaning. Formal semantics, on the other hand, has attempted to account for the relations between forms and meanings, without necessarily attending to computational concerns. The book introduces the reader to the two disciplines and considers the prospects for the more unified and comprehensive computational theory of language which might obtain from their amalgamation. Of great interest to those working in the fields of computation, logic, semantics, artificial intelligence and linguistics generally.

"...makes important theoretical progress in the formalism of natural language processing. The accent is on the relations between the syntax and the semantics of natural language. Also, the commonalities of natural language and artificial intelligence are stressed....readers will find the state of the art in the theory of natural language processing and some important new contributions." Claudiu Popescu, Computing Reviews

"This is a collection of excellent papers....The overall high quality of the contributions should make it valuable to all computational linguists interested in semantics." John Nerbonne, Computational Linguistics