Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
32
views
0
references
Top references
cited by
24
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,488
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
monograph
Author(s):
Robert L. Carpenter
Publication date
(Online):
October 12 2009
Publisher:
Cambridge University Press
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Emerald: Sustainable Structures & Infrastructures
Author and book information
Book
ISBN (Print):
9780521419321
ISBN (Print):
9780521022545
ISBN (Electronic):
9780511530098
Publication date (Online):
October 12 2009
Publication date (Print):
June 26 1992
DOI:
10.1017/CBO9780511530098
SO-VID:
0f669341-27e3-4161-9ecc-7de6684048cb
License:
https://www.cambridge.org/core/terms
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Introduction
pp. 11
Types and Inheritance
pp. 33
Feature Structures
pp. 51
Attribute-Value Descriptions and Satisfaction
pp. 73
Acyclic Feature Structures
pp. 77
Appropriateness and Typing
pp. 109
Inequations
pp. 124
Identity and Extensionality
pp. 139
Maximality, Groundedness, and Closed World Inference
pp. 151
Variables and Assignments
pp. 160
Feature Algebras
pp. 167
Infinite Feature Structures and Domains
pp. 185
Unification-Based Phrase Structure Grammars
pp. 215
Definite Clause Programming
pp. 227
Recursive Type Constraints
pp. 245
Bibliography
Similar content
4,488
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
Authors:
Vincenzo Marra
,
Luca Spada
Euler’s unification of the catenary and the elastica (1728)
Authors:
C. Truesdell
Impact that a program to control severe asthma has on the use of Unifed Health System resources in Brazil
Authors:
E. PONTE
,
RA Franco
,
A Souza-Machado
…
See all similar
Cited by
24
Multimodal integration-a statistical view
Authors:
P.R. Cohen
,
Lizhong Wu
,
S.L. Oviatt
Description logics in data management
Authors:
A. Borgida
Bottom-up construction of ontologies
Authors:
N.J.I. Mars
,
P.E. van der Vet
See all cited by