A formal approach to negotiating agents development

Electronic Commerce Research and Applications

Volumn 1, Issue 2, 2002, Pages 193-207

  Dumas, Marlon ^a   Governatori, Guido ^b   Ter Hofstede, Arthur H M ^a   Oaks, Phillipa ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Automated negotiation; Defeasible logic; Software agent; Statecharts

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; FORMAL LOGIC; GAME THEORY; INTELLIGENT AGENTS; INTERFACES (COMPUTER);

AUTOMATED NEGOTIATION; DEFEASIBLE LOGIC; STATECHARTS;

ELECTRONIC COMMERCE;

EID: 3242695058     PISSN: 15674223     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-4223(02)00016-9     Document Type: Article

References (38)

1. Maes P., Guttman R., Moukas A. Agents that buy and sell. Communications of the ACM. 42:(3):1999;81-91.
2. Rosenschein J.S., Zlotkin G. Rules of Encounter: Designing Conventions for Automated Negotiation Among Computers. 1994;MIT Press, Readings, MA.
3. Sandholm T. Distributed rational decision making. Weiss G. Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence. 1999;MIT Press, Cambridge, MA.
4. Weiss G. Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence. 1999;MIT Press, Cambridge, MA.
5. Jennings N.R., Faratin P., Lomuscio A.R., Parsons S., Sierra C., Wooldridge M. Automated negotiation: Prospects, methods and challenges. Journal of Group Decision and Negotiation. 10:(2):2001;199-215.
6. Strother B. TAC: A Trading Agent Competition. ACM SIGeCom Exchanges. 1:(1):2000;624-626.
7. AMECIII trading agents' tournament, IIIA, ISOCO and UPC (organizers), http://www.iiia.csic.es/Projects/fishmarket/agents2000, June 2000.
8. Giménez-Funes E., Godo L., Rodriguez-Aguilar J.A., García P. Designing bidding strategies for trading agents in electronic auctions. Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS), Paris, France, July. 1998.
9. Dumas M., Aldred L., Governatori G., ter Hofstede A., Russell N. Probabilistic automated bidding in alternative auctions. Proceedings of the 11th International Conference on the World Wide Web (WWW), Honolulu, HI, USA, May. 2002;ACM Press.
10. Chavez A., Dreilinger D., Guttman R., Maes P. A real-life experiment in creating an agent marketplace. Proceedings of the 2nd International Conference on The Practical Applications of Agents and Multi-Agent Technology (PAAM), London, UK. 1997.
11. Reticular Systems Inc., Agent construction tools. http://www. agentbuilder.com/AgentTools.
12. Billington D. Defeasible logic is stable. Journal of Logic and Computation. 3:1993;370-400.
13. Harel D., Naamad A. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology. 5:(4):1996;293-333.
14. Governatori G., ter Hofstede A., Oaks P. Defeasible logics for automated negotiation. Proceedings of the CollECTeR Conference on Electronic Commerce, Brisbane, Australia, December. 2000.
15. A.H.M. ter Hofstede. Information Modelling in Data Intensive Domains. PhD thesis, University of Nijmegen, Nijmegen, The Netherlands, 1993.
16. van Griethuysen J.J. Concepts and Terminology for the Conceptual Schema and the Information Base. 1982;ANSI, New York. ISO/TC97/SC5/WG3-N695.
17. Wooldridge M. Intelligent agents. Weiss G. Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence. 1999;MIT Press, Cambridge, MA.
18. Rumbaugh J., Jacobson I., Booch G. The Unified Modeling Language Reference Manual. 1999;Addison-Wesley, Reading, MA.
19. Antoniou G. Nonmonotonic Reasoning. 1997;MIT Press, Cambridge, MA.
20. Cadoli M., Schaerf M. A survey of complexity results for nonmonotonic logics. Journal of Logic Programming. 17:1993;127-160.
21. Governatori G., Maher M.J. An argumentation-theoretic characterization of defeasible logic. Horn W. ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, Amsterdam. 2000;IOS Press.
22. Antoniou G., Billington D., Governatori G., Maher M.J. A flexible framework for defeasible logics. Proceedings of the American National Conference on Artificial Intelligence (AAAI). 2000;405-410 AAAI/MIT Press, Canbridge, MA.
23. Antoniou G., Maher M.J., Billington D. Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming. 42:(1):2000;47-57.
24. Raiffa H. The Art and Science of Negotiation. 1982;Harvard University Press, Cambridge, MA.
25. Maher M.J., Rock A., Antoniou G., Billington D., Miller T. Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools. 10:(4):2001;483-501.
26. Lucking-Reiley D. Auctions on the Internet: What's being auctioned, and how? Journal of Industrial Economics. 48:(3):2000;227-252.
27. eBay, Home Page, http://www.ebay.com.
28. Michigan Internet AuctionBot, University of Michigan Artificial Intelligence Laboratory, http://auction.eecs.umich.edu.
29. Wurman P.R., Wellman M.P., Walsh W.E. The Michigan Internet AuctionBot: A configurable auction server for human and software agents. Proceedings of the 2nd International Conference on Autonomous Agents. 1998;ACM Press.
30. Faratin P., Sierra C., Jennings N.R. Negotiation decision functions for autonomous agents. International Journal of Robotics and Autonomous Systems. 24:(3-4):1998;159-182.
31. Garcia A., Gollapally D., Tarau P., Simari G. Deliberative stock market agents using Jinni and defeasible logic programming. Proceedings of the ECAI Workshop on Engineering Societies in the Agents' World, Berlin, Germany, August. 2000;Springer, Berlin.
32. Grosof B.N., Reeves D.M., Wellman M.P. Automated negotiation from declarative contract descriptions. Proceedings of the International Conference on Autonomous Agents, Montreal, Canada, May. 2001;51-58 ACM Press.
33. FIPA, Foundation for Intelligent Physical Agents, Interaction Protocols Specification Repository, http://www.fipa.org/repository/ips.html.
34. KQML, University of Maryland Baltimore County, http://www.cs.umbc.edu/ kqml.
35. Nute D., et al. Defeasible Logic Implementation. 2001;. Accessed from ftp://ftp.ai.uga.edu/pub/prolog on 14 March.
36. Logix Inc., Statemate Magnum. http://www.ilogix.com.
37. Wooldridge M.J., Parsons S. On the use of logic in negotiation. Proceedings of the Workshop on Agent Communication Languages, Barcelona, Spain, May. 2000;. Accessed from http://www.csc.liv.ac.uk/sp/publications/conferences/ acl00.html on 18 July 2002.
38. Barbuceanu M., Lo W.-K. A multi-attribute utility theoretic negotiation architecture for electronic commerce. Proceedings of the International Conference on Autonomous Agents. 2000;239-246 ACM Press, Barcelona, Spain.