Christof Monz

In: P. Brézillon, 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.

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.

[ PostScript | PostScript (gnu-zipped) | PDF ]

@InProceedings{monz:99comp,
  author = 	 {Monz, C.},
  title = 	 {Computing Presuppositions by Contextual
                  Reasoning},
  booktitle = 	 {Proceedings of the AAAI-99 Workshop on
                  Reasoning in  Context for AI Applications},
  editor =       {Br{\'{e}}zillon, P. and Turner, R. and
                  Pomerol, {J-C.} and Turner, E.},
  pages =	 {75--79}
  year =	 1999
}