Securing the commercial Internet
Communications of the ACM
Communications of the ACM
Modeling user preferences via theory refinement
Proceedings of the 6th international conference on Intelligent user interfaces
Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation
CIA '98 Proceedings of the Second International Workshop on Cooperative Information Agents II, Learning, Mobility and Electronic Commerce for Information Discovery on the Internet
Similarity of personal preferences: theoretical foundations and empirical analysis
Artificial Intelligence
On Agent-Mediated Electronic Commerce
IEEE Transactions on Knowledge and Data Engineering
Agent-mediated electronic commerce: a survey
The Knowledge Engineering Review
Formal Aspects of Computing
Formal specification of multi-agent systems by using EUSMs
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Hi-index | 0.00 |
Reliability is a key challenge in e-commerce platforms in general and in autonomous commerce multi-agent systems in particular. Most formal methods proposed to check reliability of these systems focus on checking low-level details such as the communication protocols among agents. In this paper we present a formalism to specify autonomous commerce agents as well as systems made of them. This formalism focuses on describing the high-level behavior of agents. Thus, agents are considered economic entities that have different preferences along time and must perform transactions according to them. Besides, we specify systems as environments where all the agents fulfill their own specification. These formalisms can be applied to check the reliability of an agent or system by comparing its behavior with that of its specification.