On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Introduction to Multiagent Systems
Introduction to Multiagent Systems
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
Applying game theory mechanisms in open agent systems with complete information
Autonomous Agents and Multi-Agent Systems
Emergence of Norms with Biased Interactions in Heterogeneous Agent Societies
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
MANAGING RESPONSIVE ENVIRONMENTS WITH SOFTWARE AGENTS
Applied Artificial Intelligence
Norm emergence under constrained interactions in diverse societies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Formalising Situatedness and Adaptation in Electronic Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Emergence of norms through social learning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict resolution in norm-regulated environments via unification and constraints
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Component-based standardisation of agent communication
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Effects of social network topology and options on norm emergence
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Rule schemata for game artificial intelligence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A distributed architecture for norm-aware agent societies: a retrospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Norm Emergence with Biased Agents
International Journal of Agent Technologies and Systems
Hi-index | 0.00 |
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution, as we illustrate with a selection of examples from the literature.