2 papers
cmp-lg1994
Typed Feature Structures as Descriptions
Paul John King
A description is an entity that can be interpreted as true or false of an object, and using feature structures as descriptions accrues several computational benefits. In this paper…
cmp-lg1994
The Correct and Efficient Implementation of Appropriateness Specifications for Typed Feature Structures
Dale Gerdemann, Paul John King
In this paper, we argue that type inferencing incorrectly implements appropriateness specifications for typed feature structures, promote a combination of type resolution and unfil…