Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Term Encoding of Typed Feature Structures   This paper presents an approach to Prolog-style term encoding of typed
feature structures. The type feature structures to be encoded are constrained
by appropriateness conditions as in Carpenter's ALE system. But unlike ALE, we
impose a further independently motivated closed-world assumption. This
assumption allows us to apply term encoding in cases that were problematic for
previous approaches. In particular, previous approaches have ruled out multiple
inheritance and further specification of feature-value declarations on
subtypes. In the present approach, these spececial cases can be handled as
well, though with some increase in complexity. For grammars without multiple
inheritance and specification of feature values, the encoding presented here
reduces to that of previous approaches.

0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph