Computing Presuppositions by Contextual Reasoning

Simple item page
dc.creatorMonz, Christof
dc.date2000-09-21
dc.date.accessioned2026-07-07T03:16:34Z
dc.date.available2026-07-07T03:16:34Z
dc.descriptionThis 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.
dc.description5 pages
dc.identifierhttps://arxiv.org/abs/cs/0009019
dc.identifierhttp://arxiv.org/abs/cs/0009019
dc.identifierIn: 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
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30400
dc.subjectArtificial Intelligence
dc.subjectComputation and Language
dc.subjectF.4.1; I.2.7
dc.titleComputing Presuppositions by Contextual Reasoning
dc.typetext

Files

Collections

arXiv