Introduction to Multiagent Systems
Introduction to Multiagent Systems
A Classification Scheme for Negotiation in Electronic Commerce
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Using the pi-Calculus to Model Multiagent Systems
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
E-Commerce: Business, Technology, Society
E-Commerce: Business, Technology, Society
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
A software framework for automated negotiation
Software Engineering for Multi-Agent Systems III
Rule-Based framework for automated negotiation: initial implementation
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hi-index | 0.00 |
The vision of global agent-based e-commerce environments that enable dynamic trading between business partners requires the study and development of suitable formal modeling frameworks. In particular, negotiation is a necessary and important activity to allow engagement of business parties in non-trivial business relationships. In this note we propose a formal framework using finite state process algebrafor modeling and analysis of agent-based negotiations, with a focus on a particular price negotiation --- English auction.