A Formal Approach To Protocols And Strategies For (Legal) Negotiation

Governatori, Guido, Dumas, Marlon, ter Hofstede, Arthur H. M and Oaks, Philippa (2001). A Formal Approach To Protocols And Strategies For (Legal) Negotiation. In: Henry Prakken, Proceedings of the 8th international conference on Artificial intelligence and law. 8th International Conference on Artificial Intelligence and Law (ICAIL-01), St. Louis, Missouri, USA, (168-177). 21 - 25 May, 2001.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
governatori.pdf governatori.pdf application/pdf 120.56KB 2768

Author Governatori, Guido
Dumas, Marlon
ter Hofstede, Arthur H. M
Oaks, Philippa
Title of paper A Formal Approach To Protocols And Strategies For (Legal) Negotiation
Conference Paper Type Fully Published Paper
Conference name 8th International Conference on Artificial Intelligence and Law (ICAIL-01)
DOI 10.1145/383535.383555
Conference location St. Louis, Missouri, USA
Conference dates 21 - 25 May, 2001
Proceedings title Proceedings of the 8th international conference on Artificial intelligence and law
Editor Henry Prakken
Place published NY, USA
Publisher ACM Special Interest Group on Artificial Intelligence
Publication date 2001
ISBN 1-58113-368-5
Start page 168
End page 177
Total pages 10
Language eng
Abstract/Summary We propose a formal and executable framework for expressing protocols and strategies for automated (legal) negotiation. In this framework a party involved in a negotiation is represented through a software agent composed of four modules: (i) a communication module which manages the interaction with the other agents; (ii) a control module; (iii) a reasoning module specified as a defeasible theory; and (iv) a knowledge base which bridges the control and the reasoning modules, while keeping track of past decisions and interactions. The choice of defeasible logic is justified against a set of desirable criteria for negotiation automation languages. Moreover, the suitability of the framework is illustrated through two case studies.
Subjects 280106 Interorganisational Information Systems
280111 Conceptual Modelling
390302 Jurisprudence and Legal Theory
280100 Information Systems
280213 Other Artificial Intelligence
350213 Electronic Commerce
Keyword auctions
automated legal negotiation
defeasible logic
software agents
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown
Additional Notes ACM COPYRIGHT NOTICE. Copyright © 2001 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept., ACM, Inc., fax +1 (212) 869-0481, or permissions@acm.org.

Document type: Conference Paper
Sub-type: Fully Published Paper
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 266 Abstract Views, 2768 File Downloads  -  Detailed Statistics
Created: Mon, 11 Apr 2005, 10:00:00 EST by Guido Governatori on behalf of The University of Queensland Library