Sciweavers

22 search results - page 1 / 5
» Distributed Nonmonotonic Multi-Context Systems
Sort
View
128
Voted
JELIA
2010
Springer
15 years 2 months ago
Decomposition of Distributed Nonmonotonic Multi-Context Systems
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter...
143
Voted
KR
2010
Springer
15 years 8 months ago
Distributed Nonmonotonic Multi-Context Systems
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...
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas ...
123
Voted
JELIA
2010
Springer
15 years 2 months ago
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter...
138
Voted
JELIA
2010
Springer
15 years 2 months ago
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via...
Markus Bögl, Thomas Eiter, Michael Fink, Pete...
129
Voted
AAAI
2007
15 years 6 months ago
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
Gerhard Brewka, Thomas Eiter