Normative conflicts in electronic contracts

Electronic Commerce Research and Applications

Volumn 10, Issue 2, 2011, Pages 247-267

  Giannikis, Georgios K ^a   Daskalopulu, Aspassia ^a  

^a UNIVERSITY OF THESSALY   (Greece)

Author keywords

Agents; Conflict detection; Conflict patterns; Conflict prediction; Conflict resolution; Contracts; Default logic; Electronic contracts; Electronic markets; Normative conflicts

Indexed keywords

CONFLICT DETECTION; CONFLICT PATTERNS; CONFLICT PREDICTION; CONFLICT RESOLUTION; DEFAULT LOGIC; ELECTRONIC CONTRACT; ELECTRONIC MARKET; NORMATIVE CONFLICT;

ELECTRONIC COMMERCE; FORECASTING; LAWS AND LEGISLATION; MULTI AGENT SYSTEMS; UBIQUITOUS COMPUTING;

INTELLIGENT AGENTS;

EID: 79955058090     PISSN: 15674223     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.elerap.2010.09.005     Document Type: Article

References (74)

1. Abrahams, A.S., and Bacon, J.M. The life and times of identified, situated, and conflicting norms. In J. Horty and A.J.I. Jones (eds.), Proceedings of the 6th International Workshop on Deontic Logic in Computer Science, Imperial College, London, UK, May 22-24, 2002, 3-20.
2. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni Expressing and verifying business contracts with abductive logic programming International Journal of Electronic Commerce 12 4 2008 9 38
3. T. Allen, and R. Widdison Can computers make contracts? Harvard Journal of Law and Technology 9 1 1996 25 52
4. G. Antoniou Nonmonotonic Reasoning 1997 MIT Press Cambridge, MA
5. G. Antoniou A tutorial on default logics ACM Computer Surveys 31 4 1999 337 359
6. Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., and van der Torre, L.W.N. The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In J.P. Móller, E. Andre, S. Sen and C. Frasson (eds.), Proceedings of the 5th International Conference on Autonomous Agents, ACM Press, Montreal, Canada, 2001, 9-16. (Pubitemid 32865996)
7. Boella, G., and van der Torre, L.W.N. Permissions and obligations in hierarchical normative systems. In Proceedings of the 9th International Conference on Artificial Intelligence and Law, Edinburgh, Scotland, June 24-28, 2003, ACM Press, New York, NY, 2003, 109-118.
8. G. Boella, and L.W.N. van der Torre Institutions with a hierarchy of authorities in distributed dynamic environments Artificial Intelligence and Law 16 1 2008 53 71 (Pubitemid 351664871)
9. Brewka, G. Reasoning about priorities in default logic. In Proceedings of the 12th National Conference on Artificial Intelligence, Vol. 2, Seattle, WA, July 31-August 4, 1994, AAAI Press, Menlo Park, CA, 1994, 940-945.
10. B.F. Chellas Modal Logic: An Introduction 1980 Cambridge University Press London, UK
11. Cheung, S.C., Hung, P.C.K., and Chiu, D.K.W. 2002. A meta-model for e-contract template variable dependencies facilitating e-negotiation. In S. Spaccapietra, S.T. March, and Y. Kambayashi (eds.), Proceedings of the 21st International Conference on Conceptual Modeling, London, UK, October 2002, Lecture Notes in Computer Science, Vol. 2503, Springer-Verlag, Tampere, Finland.
12. Chiu, D.K.W., Cheung, R.S., and Till, A. A three-layer architecture for e-contract enforcement in an e-service environment. In R. Sprague (ed.), Proceedings of the 36th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, January 2003, IEEE Computer Society Press, Los Alamitos, CA, 2003.
13. Cholvy, L., Cuppens, F. Solving normative conflicts by merging roles. In Proceedings of the 5th International Conference on Artificial Intelligence and Law, College Park, MD, May 21-24, 1995, ACM Press, New York, NY, 1995, 201-209.
14. L. Cholvy, and F. Cuppens Reasoning about norms provided by conflicting regulations H. Prakken, P. McNamara, Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science 1998 IOS Press Amsterdam, Netherlands 247 264
15. Daskalopulu, A. Legal contract drafting at the micro-level. In Law in the Information Society, Proceedings of the 5th International Conference of the IDG-CNRI, 1998.
16. Daskalopulu, A. Modeling legal contracts as processes. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications, Greenwich, UK, September 6-8, 2000, IEEE Computer Society Press, Los Alamitos, CA, 2000, 1074-1079.
17. Daskalopulu, A., Maibaum, T.S.E. Towards electronic contract performance. In A.M. Tjoa and R. Wagner (eds.), 12th International Workshop on Database and Expert Systems Applications, Munich, Germany, September 3-7, 2001, IEEE Computer Society Press, Los Alamitos, CA, 2001.
18. Dunlop, N., Indulska, J., and Raymond, K. Dynamic conflict detection in policy-based management systems. In K. Duddy (ed.), Proceedings of the Sixth International Enterprise Distributed Object Computing Conference, Lausanne, Switzerland, September 17-20, 2002, IEEE Computer Society Press, Los Alamitos, CA, 2002.
19. Dunlop, N., Indulska, J., and Raymond, K. Methods for conflict resolution in policy-based management systems. In Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, Brisbane, Australia, September 16-19, 2003, IEEE Computer Society Press, Los Alamitos, CA, 2003, 98-111.
20. Giannikis, G.K. Symbolic representations and common-sense reasoning in open multi-agent systems. Doctoral thesis, Department of Computer and Communications Engineering, University of Thessaly, Greece, July, 2009.
21. Giannikis, G.K., Daskalopulu, A. Defeasible reasoning with e-contracts. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IEEE Computer Society, Hong Kong, China, IEEE Computer Society Press, Los Alamitos, CA, 2006, 690-694. (Pubitemid 351210198)
22. Giannikis, G.K., Daskalopulu, A. The representation of e-contracts as default theories. In H. Okuno and M. Ali (eds.), Proceedings of 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Kyoto, Japan, June 26-29, 2007, Lecture Notes on Artificial Intelligence/Lecture Notes in Computer Science, Vol. 4570, Springer, Berlin, Germany, 2007, 963-973. (Pubitemid 350270801)
23. Giannikis, G.K., Daskalopulu, A. How agents know what to assume when? In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, Australia, December 9-12, 2008, IEEE Computer Society Press, Los Alamitos, CA, 2008, 538-545.
24. J.Y. Girard, and Y. Lafont Proofs and Types 1989 Cambridge University Press New York, NY
25. Governatori, G., Hoang, D. A semantic web based architecture for e-contracts in defeasible logic. In A. Adi, S. Stoutenberg and S. Tabet (eds.), Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, Galway, Ireland, November 10-12, Lecture Notes in Computer Science, Vol. 3791, Springer, Berlin, Germany, 2005, 145-159. (Pubitemid 43774506)
26. B.N. Grosof Representing e-commerce rules via situated courteous logic programs in RuleML Electronic Commerce Research and Applications 3 1 2004 2 20
27. J.W. Harris Law and Legal Science 1970 Clarendon Press Oxford, UK
28. H. Hart Kelsen's doctrine of the unity of law H. Kiefer, M. Munitz, Ethics and Social Justice 1970 State University of New York Press Stoneybrook, NY 171 199
29. Herrestad, H., Krogh, C. Deontic logic relativised to bearers and counterparties. In J. Bing, O. Torrund (eds.), Anniversary Anthology in Computers and Law, 1995, 453-522.
30. C. Hewitt The challenge of open systems: current logic programming methods may be insufficient for developing the intelligent systems of the future Byte 10 4 1985 223 242
31. H.H. Hill A functional taxonomy of normative conflict Law and Philosophy 6 2 1987 227 247
32. R. Hilpinen Normative conflicts and legal reasoning E. Bulygin, J.L. Gardies, I. Niiniluoto, Man 1985 Law and Modern Forms of Life Reidel, Dordrecht, Netherlands 191 208
33. Y. Hoffner, S. Field, P.W.P.J. Grefen, and H. Ludwig Contract-driven creation and operation of virtual enterprises Computer Networks 37 2 2001 111 136 (Pubitemid 32750286)
34. J.F. Horty Moral dilemmas and nonmonotonic logic Journal of Philosophical Logic 23 1 1994 35 65
35. J.F. Horty Reasoning with moral conflicts Nous 37 4 2003 557 605
36. A.J. Jones, and M.J. Sergot On the characterisation of law and computer systems: the normative systems perspective J.J.C. Meyer, J. Wieringa, Deontic Logic in Computer Science. Normative System Specification 1993 John Wiley and Sons Chichester, UK 275 307
37. A.J. Jones, and M.J. Sergot A formal characterisation of institutionalised power Journal of the IGPL 4 3 1996 427 443
38. H. Kelsen General Theory of Law and State 1945 Harvard University Press Boston, MA
39. H. Kelsen Pure Theory of Law 2nd edition 1960 University of California Press Berkeley, CA
40. Kollingbaum, M.J., Norman, T.J. Strategies for resolving norm conflict in practical reasoning. In Proceedings of the Workshop on Coordination in Emergent Agent Societies, European Conference on Artificial Intelligence, Valencia, Spain, August 23, 2004.
41. Kowalski, R.A. A Logic-based Model for Conflict Resolution. Working paper, Imperial College, London, UK, May 2003.
42. EC framework for e-contract modeling, enactment and monitoring Data and Knowledge Engineering 51 1 2004 31 58
43. R.M. Lee Bureaucracies as deontic systems ACM Transactions on Information Systems 6 2 1998 87 108
44. Letia, I.A., Groza, A. Running contracts with defeasible commitment. In M. Ali, and R. Dapoigny (eds.), Proceedings of 9th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Lecture Notes in Artificial Intelligence/Lecture Notes in Computer Science, Vol. 4031, Springer, Berlin, Germany, 2006, 91-100. (Pubitemid 44089656)
45. L. Lindahl Position and Change 1977 D. Reidel Dordrecht, Netherlands
46. E. Lupu, and M. Sloman Conflicts in policy-based distributed systems management IEEE Transactions on Software Engineering 25 6 1999 852 869 (Pubitemid 30583219)
47. D. Makinson On the formal representation of rights relations Journal of Philosophical Logic 15 4 1986 403 425
48. D. Makinson, and L. van der Torre Permission from an input/output perspective Journal of Philosophical Logic 32 3 2003 391 416
49. Marín, R.H., Sartor, G. Time and norms: a formalisation in the event-calculus. In Proceedings of the 7th International Conference on Artificial Intelligence and Law, Oslo, Norway, June 14-17, 1999, ACM Press, New York, NY, 1999, 90-99.
50. J.J.C. Meyer, and J. Wieringa Deontic logic: a concise overview J.J.C. Meyer, J. Wieringa, Deontic Logic in Computer Science. Normative System Specification 1993 John Wiley and Sons Chichester, UK 3 16
51. J.J.C. Meyer, J. Wieringa, and F.P.M. Dignum The role of deontic logic in the specification of information languages J. Chomicki, G. Saake, Logics for Databases and Information Systems 1998 Kluwer Academic Publishers Amsterdam, Netherlands 71 115
52. Moens, M.F., and Spyns, P. Legal knowledge and information systems. In M.F. Moens and P. Spyns (eds.), Proceedings of the 18th Annual Conference on Legal Knowledge and Information Systems, Brussels, Belgium, December 8-10, 2005, 134 Frontiers in Artificial Intelligence and Applications, IOS Press, 2005.
53. J.D. Moffett, and M.S. Sloman Policy conflict analysis in distributed system management Journal of Organizational Computing 4 1 1994 1 22
54. S. Munzer Validity of legal conflicts Yale Law Journal 82 1973 1140 1174
55. Oren, N., Luck, M., Miles, S., and Norman, T.J. An argumentation-inspired heuristic for resolving normative conflict. In J.F. Hubner, E. Matson, O. Boissier and F. Dignum (eds.), Proceedings of the 5th Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems IV, Estoril, Portugal, May 12, 2008, Lecture Notes in Computer Science, Vol. 5428, Springer, Berlin, Germany, 2008.
56. Paschke, A., Bichler, M. SLA representation, management and enforcement. In Proceedings of the 2005 International Conference on e-Technology, e-Commerce and e-Service, March 29-April 1, 2005, IEEE Computing Society Press, Los Alamitos, CA, 2005, 158-163. (Pubitemid 43111406)
57. Paschke, A., Bichler, M., and Dietrich, J. ContractLog: an approach to rule based monitoring and execution of service level agreements. In A. Adi, S. Stoutenberg and S. Tabet (eds.), Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, Galway, Ireland, November 10-12, Lecture Notes in Computer Science, Vol. 3791, Springer, Berlin, Germany, 2005, 209-217. (Pubitemid 43774513)
58. H. Prakken, and M.J. Sergot Contrary-to-duty obligations Studia Logica 57 1 1996 91 115
59. R. Reiter On closed world data bases H. Gallaire, J. Minker, Logic and Data Bases 1977 Plenum New York, NY 55 76
60. R. Reiter A logic for default reasoning Artificial Intelligence 13 1-2 1980 81 132
61. Rouached, M., Perrin, O., and Godart, C. A contract-based approach for monitoring collaborative web services using commitments in the event calculus. In A.H.H. Ngu, M. Kitsuregawa, E.J. Neuhold, J.Y. Chung and Q.Z. Sheng (eds.), Proceedings of the 6th International Conference on Web Information Systems Engineering, New York, NY, November 20-22, 2005, Lecture Notes in Computer Science, Vol. 3806, Springer, Berlin, Germany, 2005, 426-434. (Pubitemid 43829650)
62. L.M.M. Royakkers Extending Deontic Logic for the Formalisation of Legal Rules 1998 Kluwer Academic Publishers Amsterdam, Netherlands
63. Sall, M. Electronic contract framework: an overview. In Proceedings of the Workshop on Agent Technologies for B2B Electronic Commerce, Association for the Advancement of Artificial Intelligence, Edmonton, Alberta, Canada, July 28, 2002, AAAI Press, Menlo Park, CA, 2002.
64. F. Santos, and J. Carmo A deontic logic representation of contractual obligations J.J.C. Mayer, R.J. Weiringa, Deontic Logic in Computer Science. Normative System Specification 1994 John Wiley and Sons New York, NY 243 257
65. G. Sartor Normative conflicts in legal reasoning Artificial Intelligence and Law 1 2-3 1992 209 235
66. Schaub, T. On constrained default theories. In Proceedings of the 17th European Conference on Artificial Intelligence, Vienna, Austria, August 3-7, 1992, John Wiley and Sons, Chichester, UK, 1992, 304-308.
67. A. Stolpe A theory of permission based on the notion of derogation Journal of Applied Logic 8 1 2010 97 113
68. Vasconcelos, W.W., Kollingbaum, M.J., Norman, T.J. Resolving conflict and inconsistency in norm-regulated virtual organizations. In E.H. Durfee, M. Yokoo, M.N. Huhns and O. Shehory (eds.), Proceedings of the Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, HI, May 14-18, 2007, ACM Press, New York, NY, 2007.
69. W.W. Vasconcelos, M.J. Kollingbaum, and T.J. Norman Normative conflict resolution in multi-agent systems Autonomous Agents and Multi-Agent Systems 19 2 2009 124 152
70. G.H. von Wright Norm and Action: A Logical Inquiry 1963 Routledge and Kegan Paul London, UK
71. Winkels, A.W.F.B.R., Bosscher, D.J.B., and Breuker, J.A. Generating exception structures for legal information serving. In Proceedings of the 7th International Conference on Artificial Intelligence and Law, ACM Press, New York, NY, 1999, 182-189.
72. M. Wooldridge An Introduction to MultiAgent Systems 2002 John Wiley and Sons New York, NY
73. Xu, L. A framework for e-markets: monitoring contract fulfillment. In C. Bussler, D. Fensel, M.E. Orlowska, and J. Yang (eds.), Web Services, E-Business and the Semantic Web: Proceedings of the 2nd International Workshop, Klagenfurt, Austria, June 16-17, 2003, Lecture Notes in Computer Science, Vol. 3095, Springer, Berlin, Germany, 2003, 51-61.
74. P. Yolum, and M.P. Singh Reasoning about commitments in the event calculus: an approach for specifying and executing protocols Annals of Mathematical Artificial Intelligence 42 1-3 2004 227 253 (Pubitemid 39046783)