Book: The Logic Of Typed Feature Structures: With Applications To Unification Grammars, Logic Programs And Constraint Resolution 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.
Details of Book: The Logic Of Typed Feature Structures: With Applications To Unification Grammars, Logic Programs And Constraint Resolution Book: The Logic Of Typed Feature Structures: With Applications To Unification Grammars, Logic Programs And Constraint Resolution
Author: Bob Carpenter, C. J. Van Rijsbergen, Samson Abramsky
ISBN: 0521022541
ISBN-13: 9780521022545
, 978-0521022545
Binding: Paperback
Publishing Date: 10112005
Publisher: Cambridge University Press
Number of Pages: 280
Language: English