The paper with title “Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers” by K. Kravari, K. Papatheodorou, G. Antoniou and N. Bassiliades was selected among the best 2 papers of the RuleML-Europe 2011 symposium to be presented at IJCAI-2011 best sister conference track.