61 search results - page 2 / 13 » Types in Functional Unification Grammars |
COLING
2011
13 years 3 months ago
2011
SIAMCOMP
2008
13 years 8 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...
ACL
1994
13 years 10 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...
NLG
1992
14 years 18 days ago
1992
IJCAI
1997
13 years 10 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...