2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30400This 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.5 pagesArtificial IntelligenceComputation and LanguageF.4.1; I.2.7text