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
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
The Pleadings Game: an exercise in computational dialectics
Artificial Intelligence and Law
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
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)
ACM Computing Surveys (CSUR)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
An analysis of formal inter-agent dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
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
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Rules of Order for Electronic Group Decision Making - A Formalization Methodology
Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
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
On the outcomes of formal inter-agent dialogues
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modeling Dialogues Using Argumentation
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Institutionalizing Open Multi-Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Annals of Mathematics and Artificial Intelligence
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
Towards a test‐bed for trading agents in electronic auction markets
AI Communications
On the relation between argumentation and non-monotonic coherence based entailment
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Artificial intelligence today
On the synthesis of useful social laws for artificial agent societies
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Argumentation in artificial intelligence
Artificial Intelligence
Alternative Dispute Resolution in Virtual Organizations
Engineering Societies in the Agents World VIII
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Formalising dynamic protocols for open agent systems
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Adaptation of Voting Rules in Agent Societies
Organized Adaption in Multi-Agent Systems
An agent communication protocol for resolving conflicts
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Artificial Intelligence
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Irrationality in persuasive argumentation
Logic Programs, Norms and Action
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Managing user-generated content as a knowledge commons
Logic Programs, Norms and Action
Semantics and verification of information-based protocols
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
The design of intelligent socio-technical systems
Artificial Intelligence Review
Hi-index | 0.00 |
We present a specification, in the action language C+, of Brewka's reconstruction of a theory of formal disputation originally proposed by Rescher. The focus is on the procedural aspects rather than the adequacy of this particular protocol for the conduct of debate and the resolution of disputes. The specification is structured in three separate levels, covering (i) the physical capabilities of the participant agents, (ii) the rules defining the protocol itself, specifying which actions are 'proper' and 'timely' according to the protocol and their effects on the protocol state, and (iii) the permissions, prohibitions, and obligations of the agents, and the sanctions and enforcement strategies that deal with non-compliance. Also included is a mechanism by which an agent may object to an action by another participant, and an optional 'silence implies consent' principle. Although comparatively simple, Brewka's protocol is thus representative of a wide range of other more complex argumentation and dispute resolution procedures that have been proposed. Finally, we show how the 'Causal Calculator' implementation of C+ can be used to animate the specification and to investigate and verify properties of the protocol.