Computional linguistics and formal semantics / edited by Michael Rosner and Roderick Johnson.

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

Unification / Martin Kay -- Representations and interpretations / Jens Erik Fenstad, Tore Langholm, Espen Vestre -- Syntactic categories and semantic type / Barbara H. Partee -- Fine-structure in categorial semantics / Johan van Benthem -- Properties, propositions and semantic theory / Raymond Turner -- Algorithms for semantic interpretation / Per-Kristian Halvorsen -- Situation schemata and linguistic representation / C.J. Rupp, Roderick Johnson, Michael Rosner -- Application-oriented computational semantics / Sergei Nirenburg and Christine Defrise -- Form and content in semantics / Yorick Wilks -- Epilogue, on the relation between computational linguistics and formal semantics / Margaret King.

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.