* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
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.
        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

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

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.


• 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.


'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

Written In: English (eng )

See this book announcement on our website:

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

Supported in part by the National Science Foundation       About LINGUIST    |   Contact Us       ILIT Logo
While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed on its pages, it cannot vouch for their contents.