Metainterpreters for expert system construction
Journal of Logic Programming
Specifications are (preferably) executable
Software Engineering Journal
From logic programming to Prolog
From logic programming to Prolog
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Proceedings of the 17th IEEE international conference on Automated software engineering
Mapping Abstractions of Norms in Electronic Institutions
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
An operational approach to norms in artificial institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The MAPa language of agent dialogues
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Engineering Autonomic Electronic Institutions
Engineering Environment-Mediated Multi-Agent Systems
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Automated aiding strategies for decentralized planning with interdependent policies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
E4MAS through electronic institutions
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Representational content and the reciprocal interplay of agent and environment
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
An event driven approach to norms in artificial institutions
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Open issues for normative multi-agent systems
AI Communications
Hi-index | 0.00 |
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of sub-parts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.