Reputation and social network analysis in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
On Expressing and Monitoring Behaviour in Contracts
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
WWW '03 Proceedings of the 12th international conference on World Wide Web
Negotiation in multi-agent systems
The Knowledge Engineering Review
On Design and Implementation of a Contract Monitoring Facility
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
Argumentation-based negotiation
The Knowledge Engineering Review
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Review on Computational Trust and Reputation Models
Artificial Intelligence Review
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
An integrated trust and reputation model for open multi-agent systems
Autonomous Agents and Multi-Agent Systems
In praise of forgiveness: Ways for repairing trust breakdowns in one-off online interactions
International Journal of Human-Computer Studies
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
A dialectic procedure for sceptical, assumption-based argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Towards argumentation-based contract negotiation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |
An important field of application of intelligent logical agents, where rationality plays a main role, is that of automated negotiation. Our work is related to the use of argumentation in the field of negotiation. In particular, we are interested in contract violations, and in the construction of justifications to motivate the violation itself and recover if possible the contract on modified conditions. We propose a temporal modal logic language able to support and depict the arguments/justification used in dialectical disputes and we consider suitable algorithms and mechanisms to introduce and manage justifications.