A Logic Framework of Normative-based Contract Management

Wang, Miao and Governatori, Guido (2007). A Logic Framework of Normative-based Contract Management. In: Formal Methods in Electronic Commerce 2007 Workshop, Stanford University, Palo Alto, CA, (). 4 June, 2007.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
miao.pdf miao.pdf application/pdf 105.03KB 1433
Author Wang, Miao
Governatori, Guido
Title of paper A Logic Framework of Normative-based Contract Management
Conference name Formal Methods in Electronic Commerce 2007 Workshop
Conference location Stanford University, Palo Alto, CA
Conference dates 4 June, 2007
Publication Year 2007-06
Sub-type Fully published paper
Abstract/Summary We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.
Subjects 280000 Information, Computing and Communication Sciences
280213 Other Artificial Intelligence
280100 Information Systems
Keyword defeasible logic
FIDIC
institutional agency
contract management
Q-Index Code EX

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 151 Abstract Views, 1433 File Downloads  -  Detailed Statistics
Created: Sun, 17 Jun 2007, 15:22:33 EST by Guido Governatori