Open information systems semantics for distributed artificial intelligence
Artificial Intelligence
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
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
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Loop formulas for circumscription
Artificial Intelligence
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
An executable specification of a formal argumentation protocol
Artificial Intelligence
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Peer Pressure as a Driver of Adaptation in Agent Societies
Engineering Societies in the Agents World IX
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
Loop formulas for circumscription
Artificial Intelligence
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic 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
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
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
Delegation of power in normative multiagent systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Handling change in normative specifications
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
| Hi-index | 0.00 |
Open multi-agent computational systems are composed of heterogeneous and possibly antagonistic software entities. Characteristic features are limited trust and unpredictable behaviour. Members of such systems may fail to, or even choose not to, conform to the norms governing their interactions. It has been argued that systems of this type should have a formal, declarative, verifiable, and meaningful semantics. We present a theoretical and computational framework being developed for the executable specification of such systems. We adopt an external perspective and view open computational systems as instances of normative systems. In this paper we demonstrate how the framework can be applied to specifying and executing an argumentation protocol based on Brewka's reconstruction of Rescher's theory of formal disputation. The specification is formalised in the action language C+ and executed using the 'Causal Calculator' (CCALC) implementation.