Sciweavers

CORR
2000
Springer
107views Education» more  CORR 2000»
14 years 8 months ago
Computing Presuppositions by Contextual Reasoning
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...
Christof Monz
68
Voted
ACL
1998
14 years 10 months ago
Memoisation for Glue Language Deduction and Categorial Parsing
The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the...
Mark Hepple