The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Rilegato

Libro 11 di 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

Sinossi

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

"...well and clearly written....can be used as a textbook as well as a monograph." Peter Bachmann, Mathematical Reviews

"...an indispensable compendium for the researcher or graduate student working on constraint-based grammatical formalisms, and they also make it a very useful reference work for researchers in object-oriented databases and logic programming." Fernando Pereira, Computational Linguistics

Descrizione del libro

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780521022545: Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Edizione in evidenza

ISBN 10:  0521022541 ISBN 13:  9780521022545
Casa editrice: Cambridge University Press, 2008
Brossura