4268054
9780521022545
Carpenter develops the theory of typed feature structures. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint based reasoning systems. Constraint systems and an enumeration technique are developed to solve arbitary attribute-value logic constraints.Carpenter, Robert L. is the author of 'Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs And Constraint Resolution', published 2005 under ISBN 9780521022545 and ISBN 0521022541.
[read more]