Coherent cooperation among communicating problem solvers
IEEE Transactions on Computers
Distributed Artificial Intelligence
Distributed Artificial Intelligence
On traffic laws for mobile robots
Proceedings of the first international conference on Artificial intelligence planning systems
On cooperation in a multi-entity model
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An executable specification of a formal argumentation protocol
Artificial Intelligence
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Applied multiagent systems of group control
Scientific and Technical Information Processing
A framework for coalitional normative systems
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Normative programs and normative mechanism design
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Learning conventions in multiagent stochastic domains using likelihood estimates
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Coordination efficiency in rational choice theory, norm and rights based multi-agent systems
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Organizational and social concepts in agent oriented software engineering
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
On exploiting agent technology in the design of peer-to-peer applications
AP2PC'04 Proceedings of the Third international conference on Agents and Peer-to-Peer Computing
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
Experimental comparison of rational choice theory, norm and rights based multi agent systems
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Verifying normative behaviour via normative mechanism design
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Emergence and stability of social conventions in conflict situations
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Cognitive Systems Research
Cognitive Systems Research
Reasoning under compliance assumptions in normative multiagent systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
On modeling punishment in multi-agent systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Open issues for normative multi-agent systems
AI Communications
From knowledge science to symbiosis science
International Journal of Human-Computer Studies
The semantics of norms mining in multi-agent systems
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
Monitoring norm violations in multi-agent systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Building Norms-Adaptable Agents from Potential Norms Detection Technique PNDT
International Journal of Intelligent Information Technologies
| Hi-index | 0.00 |
We present a general model of social law in a computational system, and investigate some of its properties. The contribution of this paper is twofold. First, we argue that the notion of social law is not epiphenomenal, but rather should be built into the action representation; we then offer such a representation. Second, we investigate the complexity of automatically deriving useful social laws in this model, given descriptions of the agents' capabilities, and the goals they might encounter. We show that in general the problem is NP-complete, and identify precise conditions under which it becomes polynomial.