61 search results - page 2 / 13 » Types in Functional Unification Grammars |
107
click to vote
SIAMCOMP
2008
15 years 3 months ago
2008
Abstract. Monadic second-order unification is second-order unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding...
128
click to vote
ACL
1994
15 years 5 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
131
Voted
NLG
1992
15 years 8 months ago
1992
135
click to vote
IJCAI
1997
15 years 5 months ago
1997
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...