Computing Presuppositions by Contextual Reasoning

Christof Monz

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…