Eduardo Augusto Silvestre, Viviane Torres da Silva. Verifying Conflicts Between Multiple Norms in Multi-agent Systems. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 2013-2014, ACM, 2015. [doi]
Abstract is missing.