Sciweavers

CORR
2000
Springer
107views Education» more  CORR 2000»
13 years 11 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
ACL
1998
14 years 26 days 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