%0 Journal Article
%T Computing Presuppositions by Contextual Reasoning
%A Christof Monz
%J Computer Science
%D 2000
%I arXiv
%X 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.
%U http://arxiv.org/abs/cs/0009019v1