LINGUIST List 21.4626 Wed Nov 17 2010 Books: Computational Linguistics/Semantics: van Eijck, Unger Editor for this issue: Fatemeh Abdollahi <fatemehlinguistlist.org> Links to the websites of all LINGUIST's supporting publishers are available at the end of this issue. Directory         1.     Joyce Reid , Computational Semantics with Functional Programming: van Eijck, Unger Message 1: Computational Semantics with Functional Programming: van Eijck, Unger Date: 15-Nov-2010 From: Joyce Reid <jreidcambridge.org> Subject: Computational Semantics with Functional Programming: van Eijck, Unger E-mail this message to a friend Title: Computational Semantics with Functional Programming Published: 2010 Publisher: Cambridge University Press                 http://us.cambridge.org Book URL: http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521757607 Author: Jan van Eijck Author: Christina Unger Hardback: ISBN: 9780521760300 Pages: Price: U.S. $ 99.00 Paperback: ISBN: 9780521757607 Pages: Price: U.S. $ 40.00 Abstract: Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area. Features • Assumes no previous knowledge or experience of programming • All formal definitions are implemented as computer programs so that they can be executed and checked on a computer • Each chapter includes exercises and implementation challenges to enable the reader to put into practice what they have learnt Table of Contents 1. Formal study of natural language 2. Lambda calculus, types and functional programming 3. Functional programming with Haskell 4. Formal syntax for fragments 5. Formal semantics for fragments 6. Model checking with predicate logic 7. The composition of meaning in natural language 8. Extension and intension 9. Parsing 10. Handling relations and scoping 11. Continuation passing style semantics 12. Discourse representation and context 13. Communication as informative action. Reviews 'This remarkable textbook teaches you the know-how to become an active participant in this rapidly evolving interdisciplinary field.' Johan van Benthem, University of Amsterdam and Stanford University 'This book is a major contribution to computational semantics. The authors provide important insights into a wide range of current issues in semantic theory, setting a very high standard for work in computational semantics.' Shalom Lappin, King's College, London 'The authors do an excellent job of exploring the connections between functional programming and Montague-style formal semantics for natural language. Anyone interested in logic-based computational semantics will learn something from this book.' Stephen Pulman, University of Oxford Linguistic Field(s): Computational Linguistics                             Semantics Written In: English (eng ) See this book announcement on our website: http://linguistlist.org/pubs/books/get-book.cfm?BookID=51567 Read more issues|LINGUIST home page|Top of issue -------------------------- Major Supporters -------------------------- Brill http://www.brill.nl Cambridge Scholars Publishing http://www.c-s-p.org Cambridge University Press http://us.cambridge.org Cascadilla Press http://www.cascadilla.com/ Continuum International Publishing Group Ltd http://www.continuumbooks.com De Gruyter Mouton http://www.degruyter.com/mouton Edinburgh University Press http://www.eup.ed.ac.uk/ Elsevier Ltd http://www.elsevier.com/linguistics Emerald Group Publishing Limited http://www.emeraldinsight.com/ Equinox Publishing Ltd http://www.equinoxpub.com/ European Language Resources Association - ELRA http://www.elra.info. Georgetown University Press http://www.press.georgetown.edu John Benjamins http://www.benjamins.com/ Lincom GmbH http://www.lincom.eu MIT Press http://mitpress.mit.edu/ Morgan & Claypool Publishers Multilingual Matters http://www.multilingual-matters.com/ Narr Francke Attempto Verlag GmbH + Co. KG http://www.narr.de/ Oxford University Press http://www.oup.com/us Palgrave Macmillan http://www.palgrave.com Peter Lang AG http://www.peterlang.com Rodopi http://www.rodopi.nl/ Routledge (Taylor and Francis) http://www.routledge.com/ Springer http://www.springer.com University of Toronto Press http://www.utpjournals.com/ Wiley-Blackwell http://www.wiley.com ---------------------- Other Supporting Publishers ---------------------- Association of Editors of the Journal of Portuguese Linguistics http://www.fl.ul.pt/revistas/JPL/JPLweb.htm Graduate Linguistic Students' Association, Umass http://glsa.hypermart.net/ International Pragmatics Assoc. http://www.ipra.be Langues et Linguistique http://y.ennaji.free.fr/fr/ Linguistic Association of Finland http://www.ling.helsinki.fi/sky/ Netherlands Graduate School of Linguistics / Landelijke - LOT http://www.lotpublications.nl/ Pacific Linguistics http://pacling.anu.edu.au/ SIL International http://www.ethnologue.com/bookstore.asp St. Jerome Publishing Ltd http://www.stjerome.co.uk Utrecht institute of Linguistics http://www-uilots.let.uu.nl/ Page Updated: 17-Nov-2010       About LINGUIST    |   Contact Us       While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed on its pages, it cannot vouch for their contents.