The DMCS solver for distributed nonmonotonic multi-context systems. The DMCS system is an implementation of the equilibrium semantics for heterogeneous and nonmonotonic multi-context systems (MCS) , which feature contexts with heterogeneous and possibly nonmonotonic logics. Each context in an MCS comprises of two parts: a local knowledge base and a set of bridge rules that can access the beliefs of other contexts and add new information to the knowledge base. In this setting, contexts are loosely coupled, and may model distributed information linkage applications; thus it is natural to have a system that allows for the distributed evaluation of MCS.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Lierler, Yuliya; Truszczynski, Miroslaw: On abstract modular inference systems and solvers (2016)
- Eiter, Thomas; Fink, Michael; Schüller, Peter; Weinzierl, Antonius: Finding explanations of inconsistency in multi-context systems (2014)
- Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V.S.: Privacy preservation using multi-context systems and default logic (2012)
- Brewka, Gerhard; Eiter, Thomas; Fink, Michael: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources (2011)
- Bairakdar, Seif El-Din; Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas: The DMCS solver for distributed nonmonotonic multi-context systems (2010)