Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
KQML as an agent communication language
Software agents
A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
From collective to individual commitments
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Interaction patterns and observable commitments in a multi-agent trading scenario
Proceedings of the fifth international conference on Autonomous agents
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Social Order in Multiagent Systems
Social Order in Multiagent Systems
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Deliberative Normative Agents: Principles and Architecture
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Action Concepts for Describing Organised Interaction
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Open Agent Societies: Normative Specifications in Multi-Agent Systems
Open Agent Societies: Normative Specifications in Multi-Agent Systems
A model of dynamic resource allocation in workflow systems
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Fundamenta Informaticae - Deontic Logic in Computer Science
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
Norms and plans as unification criteria for social collectives
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Delegation of power in normative multiagent systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Counts-as: classification or constitution? an answer using modal logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Nested rules in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Querying data across different legal domains
Proceedings of the 17th International Database Engineering & Applications Symposium
Hi-index | 0.00 |
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that this idea is based on the assumption that agents can achieve flexible co-ordination by conferring normative positions to other agents. These positions include duties, permissions, and powers. In particular, we explain the idea of declarative power, which consists in the capacity of the power-holder of creating normative positions, involving other agents, simply by "proclaiming" such positions. In addition, we account also for the concepts of representation, namely the representative's capacity of acting in the name of his principal, and of mandate, which is the mandatee's duty to act as the mandator has requested. Finally, we show how the framework can be applied to represent the contract-net protocol. Some brief remarks on future research and applications conclude this contribution.