Stock Image

Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs., by Carpenter

Carpenter, Robert L.

ISBN 10: 0521419328 / ISBN 13: 9780521419321
Published by Cambridge Univ Pr, 1992
Used Condition: Acceptable Hardcover
From Bookbyte (Salem, OR, U.S.A.)

AbeBooks Seller Since February 15, 2001

Quantity Available: 1

About this Item

All text is legible, may contain markings, cover wear, loose/torn pages or staining and much writing. SKU:9780521419321-5-0-3. Bookseller Inventory # 9780521419321-5-0-3

Ask Seller a Question

Bibliographic Details

Title: Logic of Typed Feature Structures With ...

Publisher: Cambridge Univ Pr

Publication Date: 1992

Binding: Hardcover

Book Condition:Acceptable

About this title

Synopsis:

This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. It presents a synthesis of many existing ideas into a uniform framework, which serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. Throughout the text, a logical perspective is adopted that employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. Efficiency concerns are discussed and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is given for solving arbitrary attribute-value logic constraints. This book with its innovative approach to data structures will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its self-contained presentation makes it flexible enough to serve as both a research tool and a textbook.

Book Description:

This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.

"About this title" may belong to another edition of this title.

Store Description

We are a business selling textbooks on the Internet. Our strength is in our friendly and professional customer service, which includes accurate listings, quick email response, fast shipping and 100% guaranteed product. We are always happy to help out customers with any questions or problems concerning their purchases. We offer standard and expedited shipping.

Visit Seller's Storefront

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

Other items (CDs, DVDs, software & video games) are also backed by our money-back guarantee if they are returned unopened and unused.

If you've changed your mind about a book that you've ordered, please use the Ask booksel...

More Information
Shipping Terms:

Most used and new textbook orders that are received by 7:30AM PST are shipped the same business day. Orders received after 7:30AM PST are shipped no later than the next business day. Delivery time for Standard Shipping is usually between 5-20 days. Delivery time for Expedited Shipping is usually between 3-5 days. * 90% of our books shipped Expedited are delivered in 2 ┐ 5 days. At times, based on weather and distance from our shipping location, some orders may take a few additional days. Faster shipping methods are available as well, at a higher cost.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express