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 a...