Bob Carpenter

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Herausgeber: Rijsbergen, C. J. van; Abramsky, Samson

• Broschiertes Buch

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 280
• Erscheinungstermin: 23. September 2005
• Englisch
• Abmessung: 244mm x 170mm x 15mm
• Gewicht: 488g
• ISBN-13: 9780521022545
• ISBN-10: 0521022541
• Artikelnr.: 21467398

Inhaltsangabe

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.