Martin Homola, Matthias Knorr, João Leite, Martin Slota. MKNF Knowledge Bases in Multi-Context Systems. In Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori, editors, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Volume 7486 of Lecture Notes in Computer Science, pages 146-162, Springer, 2012. [doi]
Abstract is missing.