Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic
  Environments   Managed multi-context systems (mMCSs) allow for the integration of
heterogeneous knowledge sources in a modular and very general way. They were,
however, mainly designed for static scenarios and are therefore not well-suited
for dynamic environments in which continuous reasoning over such heterogeneous
knowledge with constantly arriving streams of data is necessary. In this paper,
we introduce reactive multi-context systems (rMCSs), a framework for reactive
reasoning in the presence of heterogeneous knowledge sources and data streams.
We show that rMCSs are indeed well-suited for this purpose by illustrating how
several typical problems arising in the context of stream reasoning can be
handled using them, by showing how inconsistencies possibly occurring in the
integration of multiple knowledge sources can be handled, and by arguing that
the potential non-determinism of rMCSs can be avoided if needed using an
alternative, more skeptical well-founded semantics instead with beneficial
computational properties. We also investigate the computational complexity of
various reasoning problems related to rMCSs. Finally, we discuss related work,
and show that rMCSs do not only generalize mMCSs to dynamic settings, but also
capture/extend relevant approaches w.r.t. dynamics in knowledge representation
and stream reasoning.

5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ