7.394, Books: Semantics, Computational Linguistics

[The Linguist List]

---------------------------------------------------------------------------
LINGUIST List:  Vol-7-394. Thu Mar 14 1996. ISSN: 1068-4875. Lines:  148
 
Subject: 7.394, Books: Semantics, Computational Linguistics
 
Moderators: Anthony Rodrigues Aristar: Texas A&M U. <aristar at tam2000.tamu.edu>
            Helen Dry: Eastern Michigan U. <hdry at emunix.emich.edu> (On Leave)
            T. Daniel Seely: Eastern Michigan U. <dseely at emunix.emich.edu>
 
Associate Editor:  Ljuba Veselinova <lveselin at emunix.emich.edu>
Assistant Editors: Ron Reck <rreck at emunix.emich.edu>
                   Ann Dizdar <dizdar at tam2000.tamu.edu>
                   Annemarie Valdez <avaldez at emunix.emich.edu>
 
Software development: John H. Remmers <remmers at emunix.emich.edu>
 
Editor for this issue: lveselin at emunix.emich.edu (Ljuba Veselinova)
 
Additional information on the following books, as well as a short backlist
of the publisher's titles, may be available from the Listserv.  Instructions
for retrieving publishers' backlists appear at the end of this issue.
 
------------------------------New Books-------------------------------------
 
LANGUAGE AND LOGIC/SEMANTICS
van der Does, Jaap (U. of Amsterdam) and van Eijck, Jan (CWI,
	Amsterdam) QUANTIFIERS, LOGIC AND LANGUAGE; ISBN:
	1-57586-001-5 (cloth) $69.95; 1-57586-000-7 (paper) $24.95
	pp. 424  CSLI Publications 1996:
        http://csli-www.stanford.edu/publications/
        email:  pubs at roslin.stanford.edu
 
Generalized quantifier theory is a central topic in logic with
important applications in semantics of natural language. Recent work
in the application field has led to new logical questions and new
theoretical developments, showing that quantifier theory is a truly
interdisciplinary field. This volume presents contributions to
quantifier theory and its applications and gives a good impression of
the depth and diversity of recent work in the field. The book starts
with a long introduction aimed at making the individual papers acces-
sible to a wide audience of logicians and linguists.
 
 
FORMAL LANGUAGES AND MODALITY
Ponse, Alban (U. of Amsterdam), de Rijke, Maarten (CWI, Amsterdam),
	and Venema, Yde (Free U., Amsterdam)
	MODAL LOGIC AND PROCESS ALGEBRA; ISBN: 1-881526-95-X (cloth)
	$49.95; 1-881526-96-8 $22.95 (paper) pp.326
	CSLI Publications 1996:
        http://csli-www.stanford.edu/publications/
        email:  pubs at roslin.stanford.edu
 
	Labeled transition systems are mathematical models for dynamic
behaviour, or processes, and thus form a research field of common
interest to logicians and theoretical computer scientists. In computer
science, this notion is a fundamental one in the formal analysis of
programming languages, in particular in process theory. In modal
logic, transition systems are the central object of study under the
name of Kripke models. This volume collects a number of papers on
modal logic and process theory. Its unifying theme is the notion of a
bisimulation. Bisimulations are relations over transition systems, and
provide a key tool in identifying the processes these structures
represent.
 
COMPUTATIONAL LINGUISTICS
 
Kanazawa, Makoto (Chiba U.), Pinon, Christopher (Stanford U.) and
        de Swart, Henriette (Stanford U.); QUANTIFIERS, DEDUCTION AND
        CONTEXT; ISBN: 1-57586-005-8 (cloth) $49.95, 1-57586-004-X
        (paper) $22.95. 197 pp. CSLI Publications 1996:
        http://csli-www.stanford.edu/publications/
        email:  pubs at roslin.stanford.edu
        This volume is an outgrowth of the second Workshop on Logic,
Language and Computation held at Stanford in the spring of 1993. The
workshop brought together researchers interested in natural language
to discuss the current state of the art at the borderline of logic,
linguistics and computer science. The papers in this collection fall
into three central research areas of the nineties, namely quantifiers,
deduction, and context. Each contribution reflects an ever-growing
interest in a more dynamic approach to meaning, which focuses on
inference patterns and the interpretation of sentences in the context
of a larger discourse.
 
van Deemter, Kees (IPO, The Netherlands) and Peters, Stanley (Stanford
	U.); SEMANTIC AMBIGUITY AND UNDERSPECIFICATION; ISBN:
	1-57586-029-5 (cloth) $69.95; 1-57586-028-7 (paper) $24.95,
	272 pp. CSLI Publications 1996:
        http://csli-www.stanford.edu/publications/
        email:  pubs at roslin.stanford.edu
	In recent years, the notion of ambiguity has come under close
scrutiny.  This was mainly caused by developments in automatic natural
language processing, where it is becoming more common to use formal
representations of meaning that are themselves ambiguous.  Such ambiguous
representations are called underspecified because they do not contain
sufficient information to determine their truth conditions uniquely.
In accordance with this new, 'underspecifying' perspective on
ambiguity, the papers in this volume deal not only with traditional
questions of disambiguation, but also with the theoretical
underpinnings of underspecified meaning representations and with the
possibilities of using these representations in logical inference.
 
Cole, Jennifer, Green, Georgia M. and Morgan, Jerry L. (U. of Illinois)
	LINGUISTICS AND COMPUTATION; ISBN: 1-881526-82-8 (cloth)
	$49.95;  1-881526-81-X (paper) $22.95; 296 pp.
	CSLI Publications 1996:
        http://csli-www.stanford.edu/publications/
        email:  pubs at roslin.stanford.edu
	This volume represents an exploration of the notion that the
principles of grammatical well-formedness and the principles of
language processing are interdependent. They deal with the nature of
syntactic structure and grammars for syntax, with strategies for
parsing and generation, and with aspects of phonological structure and
grammars for phonology. Some of the papers in this collection overlap
two or more areas, and demonstrate the importance of integrating
concepts from the theories of grammar and computation.
 
-----------------------How to get a publisher's backlist-----------------------
Simply send a message to:
 
      Listserv at tamvm1.tamu.edu    (Internet)
           or
      Listserv at tamvm1             (Bitnet)
 
The message should consist of the single line:
 
get publishername lst linguist
 
For example, to get more information on a book published by Mouton
de Gruyter, send the message:
       get mouton lst linguist
 
At the moment, the following lists are available:
      benjamin lst    (John Benjamins)
      Blackwel lst    (Blackwell Publishers) 	
      erlbaum lst     (Lawrence Erlbaum)
      kluwer lst      (Kluwer Academic Publishers)
      mouton lst      (Mouton de Gruyter)
      sil lst         (Summer Institute of Linguistics)
      ucp lst         (University of Chicago Press)
      glsa lst        (U. of Massachusetts Graduate Linguistics Association)
      osuwpl lst      (Ohio State Working Papers in Linguistics)
      cornell lst     (Cornell University Linguistics Dept.)
      USC lst         (U. of S. California Dissertation List)
      CSLI lst        (CSLI List)
      holland lst     (Holland Academic Graphics)
	
--------------------------------------------------------------------------
LINGUIST List: Vol-7-394.