Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the cost-complexity of multi-context systems   Multi-context systems provide a powerful framework for modelling
information-aggregation systems featuring heterogeneous reasoning components.
Their execution can, however, incur non-negligible cost. Here, we focus on
cost-complexity of such systems. To that end, we introduce cost-aware
multi-context systems, an extension of non-monotonic multi-context systems
framework taking into account costs incurred by execution of semantic operators
of the individual contexts. We formulate the notion of cost-complexity for
consistency and reasoning problems in MCSs. Subsequently, we provide a series
of results related to gradually more and more constrained classes of MCSs and
finally introduce an incremental cost-reducing algorithm solving the reasoning
problem for definite MCSs.

35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn