You are not connected to the University of Washington Libraries network. Access to online content and services may require you to authenticate with your library.
Off-Campus Access (log-in)
Getting this item's online copy...Find a copy in the library
Getting this item's location and availability...WorldCat
Find it in libraries globally
Worldwide libraries own this item
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Patrick Blackburn; Johannes Bos |
| ISBN: | 1575864959 9781575864952 1575864967 9781575864969 |
| OCLC Number: | 57392175 |
| Description: | xxv, 350 p. ; 24 cm. |
| Contents: | 1. First-order logic -- First-order logic -- Three inference tasks -- A first-order model checker -- First-order logic and natural language -- 2. Lambda calculus -- Compositionality -- Two experiments -- The lambda calculus -- Implementing lambda calculus -- Grammar engineering -- 3. Underspecified representations -- Scope ambiguities -- Montague's approach -- Storage methods -- Hole semantics -- 4. Propositional inference -- From models to proofs -- Propositional tableaus -- Implementing propositional tableau -- Propositional resolution -- Implementng propositional resolution -- Theoretical remarks -- 5. First-order inference -- A first-order tableau system -- Unification -- Free-variable tableaus |
| Series Title: | Studies in computational linguistics. |
| Responsibility: | Patrick Blackburn & Johan Bos. |
Abstract:
The authors explain the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an useful text for computer scientists, linguists, and anyone interested in thedevelopment of computational semantics.
Retrieving notes about this itemReviews
User-contributed reviews