A logic-based calculus of events
New Generation Computing
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Communication and cooperation in agent systems: a pragmatic theory
Communication and cooperation in agent systems: a pragmatic theory
Formalizing the cooperative problem solving process
Readings in agents
Choosing social laws for multi-agent systems: minimality and simplicity
Artificial Intelligence
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Deliberative Normative Agents: Principles and Architecture
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Autonomous Agents and Multi-Agent Systems
Landmark routing in ad hoc networks with mobile backbones
Journal of Parallel and Distributed Computing - Special issue on Routing in mobile and wireless ad hoc networks
An Exercise in Formal Reasoning about Mobile Communications
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making
Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Annals of Mathematics and Artificial Intelligence
Normative Agent Reasoning in Dynamic Societies
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Computational & Mathematical Organization Theory
Behavioural specification of grid services with the KAoS policy language
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 2 - Volume 02
The Computer Journal
Towards a test‐bed for trading agents in electronic auction markets
AI Communications
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
QoS management in MANETs using norm-governed agent societies
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Hi-index | 0.00 |
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws 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 modelling norm-governed multi-agent systems. We propose to employ our existing framework for the specification of the laws governing ad hoc networks. Moreover, we discuss a software infrastructure that executes such specifications for the benefit of ad hoc network members, informing them of their normative relations. We have been developing a sample node architecture as a basis for norm-governed ad hoc network simulations. Nodes based on this architecture consider the network's laws in their decision-making, and can be individually configured to exhibit distinct behaviour. We present run-time configurations of norm-governed ad hoc networks and indicate design choices that need to be made in order to fully realise such networks.