Ezzine Missaoui, Belhassen Mazigh, Vincent Hilaire, Sami Bhiri. Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems. In Imre J. Rudas, János Csirik, Carlos Toro 0001, János Botzheim, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019. Volume 159 of Procedia Computer Science, pages 717-726, Elsevier, 2019. [doi]
Abstract is missing.