The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In Tomi Janhunen, Ilkka Niemelä, editors, Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings. Volume 6341 of Lecture Notes in Computer Science, pages 352-355, Springer, 2010. [doi]

Abstract

Abstract is missing.