Items related to The Logic of Typed Feature Structures: With Applications...
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32) - Hardcover
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.
"synopsis" may belong to another edition of this title.
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.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1992
- ISBN 10 0521419328
- ISBN 13 9780521419321
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages280
Search results for The Logic of Typed Feature Structures: With Applications...
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_371469127
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 1.65. Seller Inventory # G0521419328I2N00
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-731-892
Quantity: 1 available
Seller Image
The Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs and Constraint Resolution Cambridge Tracts in Theoretical Computer Science
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 270 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 760. Seller Inventory # 2156331
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, Cambridge, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Feldman's Books, Menlo Park, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fine. First Editiion. Seller Inventory # 00041059
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Moe's Books, Berkeley, CA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. There is some shelf and handling wear. Some foxing to the top edge of the text block. No markings. Seller Inventory # 1114273
Quantity: 1 available
Stock Image
Cambridge Tracts in Theoretical Computer Science: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Volume 32)
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Volume 32. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521419321. Seller Inventory # 4919777
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth/Laminated Boards. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. Letter J stamped on title page. Light rubbing to edges and corners of boards and head and tail of spine. Seller Inventory # 056351
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 3 out of 5 stars
Hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0521419328-4
Quantity: 1 available
Stock Image
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Published by
Cambridge University Press, 1992
ISBN 10: 0521419328
ISBN 13: 9780521419321
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-551-328
Quantity: 1 available