Computing Presuppositions by Contextual Reasoning
<|reference_start|>Computing Presuppositions by Contextual Reasoning: This paper describes how automated deduction methods for natural language processing can be applied more efficiently by encoding context in a more elaborate way. Our work is based on formal approaches to context, and we provide a tableau calculus for contextual reasoning. This is explained by considering an example from the problem area of presupposition projection.<|reference_end|>
@article{monz2000computing,
    title={Computing Presuppositions by Contextual Reasoning},
    author={Christof Monz},
    journal={In: P. Brezillon, R. Turner, J-C. Pomerol and E. Turner (Eds.)
  Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI
  Applications, AAAI Press, 1999, pp. 75-79},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0009019},
    primaryClass={cs.AI cs.CL}
}