Communicating sequential processes
Communicating sequential processes
Self-stabilizing extensions for message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Artificial Intelligence
ACM Computing Surveys (CSUR)
Artificial Intelligence
Self-stabilizing algorithms for finding centers and medians of trees
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Abstract argumentation systems
Artificial Intelligence
Fault-containment in self-stabilizing distributed systems
Fault-containment in self-stabilizing distributed systems
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
A dynamic self-stabilizing algorithm for finding strongly connected components
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Self-Stabilizing Algorithms for Finding Centers and Medians of Trees
SIAM Journal on Computing
Self-stabilization
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending abstract argumentation systems theory
Artificial Intelligence
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Argumentation as distributed constraint satisfaction: applications and results
Proceedings of the fifth international conference on Autonomous agents
Skepticism and floating conclusions
Artificial Intelligence
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
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
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Multi-linked negotiation in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
A study on the termination of negotiation dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Representing Epistemic Uncertainty by Means of Dialectical Argumentation
Annals of Mathematics and Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
Algorithms for Distributed Constraint Satisfaction: A Review
Autonomous Agents and Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
A distributed self-stabilizing algorithm for argumentation
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Electronic Institutions: Future Trends and Challenges
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Dialogue Frames in Agent Communication
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Probabilistic Reasoning in a Distributed Multi-Agent Environment
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Dialogue Game Protocol for Agent Purchase Negotiations
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)
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
A self-stabilizing algorithm for coloring planar graphs
Distributed Computing - Special issue: Self-stabilization
Dialectic resoning with inconsistent information
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Automata for infinite argumentation structures
Artificial Intelligence
Hi-index | 0.00 |
The role of argumentation in supporting various forms of interaction among possibly conflicting autonomous agents has been explicitly recognized in the literature. In argumentation, conflict management is carried out by the formal process of defeat status computation. In this paper we consider the generalization of this process to a distributed setting. We show that significant stabilization problems may arise even in relatively simple cases. A fundamental negative result is then proved: no general self-stabilizing algorithm exists for distributed defeat status computation, indicating that self-stabilizing algorithms for this problem can be defined only under specific conditions. Accordingly, we focus on two cases: an algorithm tailored to a specific family of inference graphs, that include only rebutting defeaters, and an algorithm that applies to any inference graph, also including undercutting defeaters, but may provide (cautiously) incorrect results for some nodes. For both algorithms the worst-case round complexity is analyzed and it is proved that no algorithms with lower complexity exist for the same tasks.