A formal approach to protocols and strategies for (legal) negotiation

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2001, Pages 168-177

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

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Auctions; Automated legal negotiation; Defeasible logic; Software agents

Indexed keywords

AUCTIONS; COMMUNICATION MODULES; CONTROL MODULE; DEFEASIBLE LOGIC; FORMAL APPROACH; KNOWLEDGE BASE;

ARTIFICIAL INTELLIGENCE; AUTOMATION; COMMERCE; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

SOFTWARE AGENTS;

EID: 7544246851     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/383535.383555     Document Type: Conference Paper

References (35)

1. Agorics Inc. A survey of auctions. http://www.agorics.com/new.html, 1996.
2. Grigoris Antoniou, David Billington, Guido Governatori, and Michael Maher. On the modeling and analysis of regulations. In Proceedings of the Australian Conference on Information Systems, 1999.
3. Grigoris Antoniou, David Billington, Guido Governatori, and Michael Maher. A flexible framework for defeasible logics. In Proc. American National Conference on Artificial Intelligence (AAAI-2000), pages 401-405. AAAI/MIT Press, 2000.
4. Grigoris Antoniou, David Billington, Guido Governatori, Michael Maher, and Andrew Rock. A family of defeasible reasoning logics and its implementation. In Werner Horn, editor, ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, Amsterdam, 2000. IOS Press.
5. Grigoris Antoniou, Micheal J. Maher, and David Billington. Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming, 41(1):45-57, 2000.
6. Emilia Bellucci and John Zeleznikow. AI techniques for modelling legal negotiation. In ICAIL-99, pages 108-116. ACM Press, 1999.
7. Instituto de Investigación en Inteligencia Artificial (IIIA). The FishMarket project. http://www.iiia.csic.es/Projects/fishmarket.
8. eBay. Home page. http://www.ebay.com.
9. A. Garcia, D. Gollapally, P. Tarau, and G. Simari. Deliberative stock market agents using Jinni and defeasible logic programming. In Proc. of the ECAI Workshop on Engineering Societies in the Agents' World, Berlin, Germany, August 2000. Springer Verlag.
10. Thomas F. Gordon. The Pleadings Game. Kluwer Academic Press, Dordrecht, 1995.
11. Guido Governatori and Michael J. Maher. An argumentation-theoretic characterization of defeasible logic. In Werner Horn, editor, ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, Amsterdam, 2000. IOS Press.
12. Guido Governatori, Michael J. Maher, Grigoris Antoniou, and David Billington. Argumentation semantics for defeasible logics. In Riichiro Mizoguchi and John Slaney, editors, PRICAI 2000: Topics in Artificial Intelligence, volume 1886 of LNAI, pages 27-37, Berlin, 2000. Springer-Verlag.
13. J.J. van Griethuysen, editor. Concepts and Terminology for the Conceptual Schema and the Information Base. Publ. nr. ISO/TC97/SC5/WG3-N695, ANSI, 11 West 42nd Street, New York, NY 10036, 1982.
14. Benjamin N. Grosof. Prioritized conflict handling for logic programs. In J. Maluszynski, editor, Proc. Int. Logic Programming Symposium, pages 197-211. MIT Press, 1996.
15. A.H.M. ter Hofstede. Information Modelling in Data Intensive Domains. PhD thesis, University of Nijmegen, Nijmegen, The Netherlands, 1993.
16. IIIA, ISOCO and UPC (organizers). AMECIII trading agents' tournament. http://www.iiia.csic.es/Projects/fishmarket/agents2000, June 2000.
17. N.R. Jennings, Parsons S, C. Sierra, and P. Faratin. Automated negotiation. In Proc. of the Conference on Pratical Applications of Intelligent Agents and Multi-agent Systems (PAAM), Manchester, UK, 2000.
18. Ronald Loui. Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence, 14:1-38, 1998.
19. Michael J. Maher. Propositional defeasible logic has linear complexity. Technical report, Department of Mathematical and Computer Sciences, Loyola University, Chicago, 2000.
20. Michael J. Maher and Guido Governatori. A semantic decomposition of defeasible logic. In Proc. American National Conference on Artificial Intelligence (AAAI-99), pages 299-305. AAAI Press, 1999.
21. Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billignton, and Timothy Miller. Efficient defeasible reasoning systems. In Proc. International Conference on Tool in Artificial Intelligence. EEEI Computer Society Press, 2000.
22. Katsumi Nitta, Masato Shibasaki, Akira Yamazaki, and Yoshiaki Yasumura. A legal negotiation support system. In ICAIL-99, pages 132-133. ACM Press, 1999.
23. Donald Nute. Apparent obligation. In Donald Nute, editor, Defeasible Deontic Logic, pages 287-316. Kluwer, 1997.
24. Donald Nute. Norms, priorities and defeasibility. In Paul McNamara and Henry Prakken, editors, Norms, Logics and Information Systems. New Studies in Deontic Logic, pages 83-100. IOS Press, Amsterdam, 1998.
25. The University of Michigan Artificial Intelligence Laboratory. The Michigan Internet AuctionBot. http://auction.eecs.umich.edu.
26. S. Parsons, C. Sierra, and N. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8:261-292, 1998.
27. Henry Prakken. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127:187-219, 2001.
28. Howard Raiffa. The art and science of negotiation. Harvard University Press, Cambridge, MA, 1982.
29. Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof, and Hoi Y. Chan. Automated negotiation from declarative contract descriptions. In Seventeenth National Conference on Artificial Intelligence, Workshop on Knowledge-Based Electronic Markets(KBEM), Austin, Texas, July 30-31 2000. AAAI, AAAI Press.
30. T. Sandholm. eMediator: A next generation electronic commerce server. In International Conference on Autonomous Agents (AGENTS),, Barcelona, Spain, June 2000.
31. Betsy Strother. TAC: A Trading Agent Competition. ACM SIGeCom Exchanges, 1(1), August 2000.
32. TradeOut. Home page. http://www.tradeout.com.
33. G. Weiss, editor. Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence. MIT Press, 1999.
34. M. Wooldridge. Intelligent agents. In Weiss [33].
35. P.R.Wurman, M.P. Wellman, and W.E.Walsh. The Michigan Internet AuctionBot: A configurable auction server for human and software agents. In Proc. of the 2nd Int. Conference on Autonomous Agents. ACM Press, May 1998.