Decomposition of Distributed Nonmonotonic Multi-Context Systems. - Seif El-Din Bairakdar; Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (JELIA, 2010)

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. - Seif El-Din Bairakdar; Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (JELIA, 2010)