Dekorationsartikel gehören nicht zum Leistungsumfang.
The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Taschenbuch von Bob Carpenter
Sprache: Englisch

62,75 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
Acknowledgements; Part I. Basics: 1. Introduction; 2. Types and inheritance; 3. Feature structures; 4. Attribute-value descriptions and satisfaction; Part II. Extensions: 5. Acyclic feature structures; 6. Appropriateness and typing; 7. Inequations; 8. Identity and extensionality; 9. Maximality, groundedness and closed world inference; Part III. Alternatives: 10. Variables and assignments; 11. Feature algebras; 12. Infinite feature structures and domains; Part IV. Applications: 13. Unification-based phrase structure grammars; 14. Definite clause programming; 15. Recursive type constraint systems; Bibliography.
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 280
ISBN-13: 9780521022545
ISBN-10: 0521022541
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Carpenter, Bob
Redaktion: Rijsbergen, C. J. van
Hersteller: Cambridge University Press
Maße: 244 x 170 x 15 mm
Von/Mit: Bob Carpenter
Erscheinungsdatum: 23.09.2005
Gewicht: 0,488 kg
preigu-id: 102260329
Inhaltsverzeichnis
Acknowledgements; Part I. Basics: 1. Introduction; 2. Types and inheritance; 3. Feature structures; 4. Attribute-value descriptions and satisfaction; Part II. Extensions: 5. Acyclic feature structures; 6. Appropriateness and typing; 7. Inequations; 8. Identity and extensionality; 9. Maximality, groundedness and closed world inference; Part III. Alternatives: 10. Variables and assignments; 11. Feature algebras; 12. Infinite feature structures and domains; Part IV. Applications: 13. Unification-based phrase structure grammars; 14. Definite clause programming; 15. Recursive type constraint systems; Bibliography.
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 280
ISBN-13: 9780521022545
ISBN-10: 0521022541
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Carpenter, Bob
Redaktion: Rijsbergen, C. J. van
Hersteller: Cambridge University Press
Maße: 244 x 170 x 15 mm
Von/Mit: Bob Carpenter
Erscheinungsdatum: 23.09.2005
Gewicht: 0,488 kg
preigu-id: 102260329
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte