Papatheodorou

Results: 1-2 of 2

K. Kravari, K. Papatheodorou, G. Antoniou, N. Bassiliades, “Reasoning and Proofing Services for Semantic Web Agents”, In proceedings of the 22nd International Join Conference on Artificial Intelligence (IJCAI-2011), AAAI Press, 3, pp. 2662-2667, Barcelona, Spain, 2011.

K. Kravari, K. Papatheodorou, G. Antoniou, N. Bassiliades, “Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers”, 5th International Symposium on Rules: Research Based and Industry Focused (RuleML-2011@IJCAI), Springer Berlin / Heidelberg, Volume 6826/2011, pp. 29-43, Barcelona, Spai