304 search results - page 1 / 61 » A Multi-Context System Computing Modalities |
DLOG
2010
13 years 2 months ago
2010
KR
2010
Springer
13 years 9 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
ECAI
2004
Springer
13 years 8 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
KR
2010
Springer
13 years 9 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal