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

Book 11 of 40: Cambridge Tracts in Theoretical Computer Science

Carpenter, Robert L.

 
9780521419321: 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)

Synopsis

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.

"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.

Other Popular Editions of the Same Title

9780521022545: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in ... Science, Series Number 32) (Volume 0)

Featured Edition

ISBN 10:  0521022541 ISBN 13:  9780521022545
Publisher: Cambridge University Press, 2005
Softcover