The Logic of Typed Feature Structures
Robert L. (Carnegie Mellon University, Pennsylvania) Carpenter
Cambridge University Press, 2005
77,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521022545
- ISBN-10
- 0521022541
- Publisher
- Cambridge University Press
- Year
- 2005
- Publication date
- 2005-11-10
- Pages
- 280
- Dimensions
- 244x171x18
- Weight
- 492