The Logic of Typed Feature Structures (1992)
by
Bob Carpenter
,
Fernando Pereira
| Citations: | 301 - 3 self |
BibTeX
@MISC{Carpenter92thelogic,
author = {Bob Carpenter and Fernando Pereira},
title = {The Logic of Typed Feature Structures},
year = {1992}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Feature Structures and Path Congruences. The discussion of abstract feature structures raises a historical difficulty. While I do not dispute that the full theoretical investigation of feature structures modulo renaming is correctly attributed to Moshier, the idea of representing renaming classes by equivalence relations over paths seems an obvious variant of the representation of such classes as deductively closed sets of path equations in Pereira and Shieber's account (1984) of the semantics of PATR-II, which is further explored in Shieber's dissertation (1989).
