A logic-based calculus of events
New Generation Computing
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Floor control for multimedia conferencing and collaboration
Multimedia Systems
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ad hoc networking: an introduction
Ad hoc networking
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Autonomous Agents and Multi-Agent Systems
An Exercise in Formal Reasoning about Mobile Communications
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Towards a test‐bed for trading agents in electronic auction markets
AI Communications
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A rule-based approach to norm-oriented programming of electronic institutions
ACM SIGecom Exchanges
Operationalisation of norms for usage in electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Norm-oriented programming of electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
An adaptable MAC protocol in MANETs: a democratic approach
AIC'06 Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications
Autonomous Agents and Multi-Agent Systems
Operationalisation of Norms for Electronic Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Peer-to-Peer Normative System to Achieve Social Order
Coordination, Organizations, Institutions, and Norms in Agent Systems II
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
Adaptation of Voting Rules in Agent Societies
Organized Adaption in Multi-Agent Systems
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Dynamic specifications in norm-governed open computational societies
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
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
A distributed architecture for norm management in multi-agent systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Model checking norms and sanctions in institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
QoS management in MANETs using norm-governed agent societies
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Modelling culture in multi-agent organizations
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Emergence of social norms through collective learning in networked agent societies
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what extent ad hoc networks can usefully be described in terms of permissions, obligations and other more complex normative relations, based on our previous work on specifying and modelling open agent societies. We now propose to employ our existing framework for the management of ad hoc networks, exploiting the similarities between open agent societies and ad hoc networks viewed at the application level. We also discuss the prospects of modelling ad hoc networks at the physical level in similar terms. We demonstrate the framework by constructing an executable specification, in the event calculus, of a common type of protocol used to regulate the control of access to shared resources in ad hoc networks.