Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Contextual Inference in Computational Semantics   In this paper, an application of automated theorem proving techniques to
computational semantics is considered. In order to compute the presuppositions
of a natural language discourse, several inference tasks arise. Instead of
treating these inferences independently of each other, we show how integrating
techniques from formal approaches to context into deduction can help to compute
presuppositions more efficiently. Contexts are represented as Discourse
Representation Structures and the way they are nested is made explicit. In
addition, a tableau calculus is present which keeps track of contextual
information, and thereby allows to avoid carrying out redundant inference steps
as it happens in approaches that neglect explicit nesting of contexts.

16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys