Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
Bargaining with limited computation: deliberation equilibrium
Artificial Intelligence
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
Unenforced E-Commerce Transactions
IEEE Internet Computing
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Agent Strategies on DPB Auction Tournaments
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
A Formal Description of a Practical Agent for E-Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Negotiation among self-interested computationally limited agents
Negotiation among self-interested computationally limited agents
CABOB: a fast optimal algorithm for combinatorial auctions
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Challenges in Large-Scale Open Agent Mediated Economies
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
Passive verification of the strategyproofness of mechanisms in open environments
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Applying game theory mechanisms in open agent systems with complete information
Autonomous Agents and Multi-Agent Systems
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
Symbolic model checking commitment protocols using reduction
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
| Hi-index | 0.00 |
Agents in an electronic commerce system act on behalf of potentially competing individuals and organisations. It is proposed that such systems will be used in scenarios where legally binding contracts are made or money is exchanged by the agents on behalf of their owners. Agent owners may be reluctant to delegate tasks involving uncertain and possibly detrimental outcomes to an agent without assurances about the system's properties. It may be a requirement, for example, that an agent cannot profit from lying to its peers. This paper demonstrates how solutions from game theory together with computing theories can be used to publicly specify rules and prove desirable properties for agent systems. This has the potential to increase the range of applications in which agent owners may be willing to delegate to their embedded counterparts.