A Logic Framework of Normative-based Contract Management
| Data(s) |
01/06/2007
|
|---|---|
| Resumo |
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. |
| Identificador | |
| Palavras-Chave | #defeasible logic #FIDIC #institutional agency #contract management #280000 Information, Computing and Communication Sciences #280213 Other Artificial Intelligence #280100 Information Systems |
| Tipo |
Conference Paper |
