1A Computational Model for Generating Referring Expressions in a Multilingual Application Domain1996 - Elena NotThe model we propose is an implementation of the theoretical investigations of Martin and is based on a clear representation...
2Default Logic, Natural Language and Generalized Quantifiers1988 - Patrick Saint-Dizierbecanm somewhat negh;cted, yielding the way to theoretical investigations in non~ monotonic reasoning and to the elaboration...
4A Compilation-Chart Method for Linear Categorial Deduction1996 - Mark HeppleUppsala. Roorda, D. 1991. Resource Logics: Proof Theoretical Investigations. Ph.D. Dissertation, Amsterdam. 542...