A logic-based calculus of events
New Generation Computing
ACM Computing Surveys (CSUR)
Managing the Real-Time Supply Chain
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 3 - Volume 3
Affective sensors, privacy, and ethical contracts
CHI '04 Extended Abstracts on Human Factors in Computing Systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
The Wisdom of Crowds
The Computer Journal
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Argumentation in artificial intelligence
Artificial Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Hi-index | 0.00 |
Networked systems are the driving force of modern business and commerce, underpinned by ideas such as agile enterprises, holonic manufacturing, and dynamic real-time supply chains. On occasions, the system operation will be sub-optimal or non-ideal, and disputes will occur between independent partners. It may be undesirable to resolve such disputes by recourse to law; preferably, the parties in dispute would settle the matter by themselves. Therefore, we develop an alternative dispute resolution (ADR) system for virtual organizations as a way of settling disputes internally. We provide a norm-governed specification of an ADR protocol which is, effectively, an intelligent agent-based autonomic system. We develop this specification in two ways: concretely, through description of the mechanisms underlying protocol operation; and abstractly, by considering how the specification addresses principles for jury trials.