Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades. Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. In Nick Bassiliades, Guido Governatori, Adrian Paschke, editors, Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings. Volume 6826 of Lecture Notes in Computer Science, pages 29-43, Springer, 2011. [doi]
Abstract is missing.