Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades. Reasoning and Proofing Services for Semantic Web Agents. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 2662-2667, IJCAI/AAAI, 2011. [doi]
Abstract is missing.