Towards verifying contract regulated service composition
The adversarial activity model for bounded rational agents
A formal model of emotions for an empathic rational dialog agent
Sequentially optimal repeated coalition formation under uncertainty
Addressing stability issues in mediated complex contract negotiations for constraint-based, non-monotonic utility spaces
AutoMed: an automated mediator for multi-issue bilateral negotiations