Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull. Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. In Thomas Lukasiewicz, Attila Sali, editors, Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. Volume 7153 of Lecture Notes in Computer Science, pages 312-331, Springer, 2012. [doi]
Abstract is missing.