HIGHER-ORDER UNIFICATION: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term higher-order unification in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
HIGHER-ORDER UNIFICATION can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: C96-2116) a generalized reconstruction algorithm for ellipsis resolution
- (ACL ID: E93-1025) a discourse copying algorithm for ellipsis and anaphora resolution
- (ACL ID: E95-1032) ellipsis and quantification
- (ACL ID: J90-1001) categorial semantics and scoping
- (ACL ID: P86-1037) some uses of higher-order logic in computational linguistics
- (ACL ID: P92-1005) monotonic semantic interpretation
- (ACL ID: P94-1003) priority union and generalization in discourse grammars
- (ACL ID: P94-1008) common topics and coherent situations
- (ACL ID: P95-1029) using higher-order logic programming for semantic interpretation of coordinate constructs
- (ACL ID: P96-1001) higher-order coloured unification and natural language semantics
- (ACL ID: P97-1053) a uniform approach to underspecification and parallelism
- (ACL ID: P98-1057) group theory and linguistic processing
- (ACL ID: P99-1007) unifying parallels
* See also a list of some of the related terms to higher-order unification.
Back to Description Index
