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