ACM - Normas
Mehdi Dastani
Lacramioara Astefanoaei
Frank S. de Boer
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology
Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems, 2008
A verification framework for normative multi-agent systems
Proc
Deduction strategies and rewriting