First-order logic and automated theorem proving
First-order logic and automated theorem proving
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
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
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
Operational semantics of multiagent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Mechanisms for norm emergence in multiagent societies
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Social Norm Emergence in Virtual Agent Societies
Declarative Agent Languages and Technologies VI
An algorithm for conflict resolution in regulated compound activities
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Ignoring, forcing and expecting simultaneous events in electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Role model based mechanism for norm emergence in artificial agent societies
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Implementing norms that govern non-dialogical actions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Using Jason to develop normative agents
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Norm enforceability in electronic institutions?
COIN@AAMAS'10 Proceedings of the 6th 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
Open issues for normative multi-agent systems
AI Communications
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.