304 search results - page 1 / 61 » A Multi-Context System Computing Modalities |
DLOG
2010
13 years 9 months ago
2010
KR
2010
Springer
14 years 3 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
14 years 2 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
14 years 3 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 11 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal