Floris Roelofsen, Luciano Serafini, Alessandro Cimatti. Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 58-62, IOS Press, 2004.
Abstract is missing.