Towards a formalisation of electronic contracting environments

AAAI Workshop - Technical Report

Volumn WS-08-03, Issue , 2008, Pages 61-68

  Oren, Nir ^a   Panagiotidi, Sofia ^b   Vázquez Salceda, Javier ^b   Modgil, Sanjay ^a   Luck, Michael ^a   Miles, Simon ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACT CLAUSE; ELECTRONIC CONTRACTING; FORMALISATION;

LINGUISTICS;

COORDINATION REACTIONS;

EID: 66249104346     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Daskalopulu, A. 2000. Modelling Legal Contracts as Processes. In 11th Intl. Conf. and Workshop on Database and Expert Systems Applications, 1074-1079.
2. Dignum, V.; Meyer, J. J.; Dignum, F.; and Weigand, H. 2002. Formal specification of interaction in agent societies. In Proc. of the Second Goddard Workshop on Formal Approaches to Agent Based Systems, 37-52.
3. Dignum, V. 2004. A Model for Organizational Interaction: Based on Agents, Founded in Logic. Ph.D. Dissertation, Universiteit Utrecht.
4. Farrell, A. D. H.; Sergot, M.; Salle, M.; and Bartolini, C. 2005. Using the event calculus for tracking the normative state of contracts. Intl. Journal of Cooperative Information Systems 4(2-3):99-129.
5. Fornara, N., and Colombetti, M. 2007. Specifying and enforcing norms in artificial institutions. In Normative Multiagent Systems, number 07122 in Dagstuhl Seminar Proc.
6. Grosof, B., and Poon, T. C. 2004. SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. Intl. Journal of Electronic Commerce 8(4):61-98.
7. Jennings, N. R.; Faratin, P.; Lomuscio, A. R.; Parsons, S.; Wooldridge, M.; and Sierra, C. 2001. Automated negotiation: Prospects methods and challenges. Group Decision and Negotiation 10(2):199-215.
8. Kollingbaum, M. 2005. Norm-governed Practical Reasoning Agents. Ph.D. Dissertation, University of Aberdeen.
9. Milosevic, Z., and Dromey, R. G. 2002. On expressing and monitoring behaviour in contracts. In Proc. of the Sixth Intl. Enterprise Distributed Object Computing Conf., 3-14.
10. van der Torre, L. 2003. Contextual deontic logic: Normative agents, violations and independence. Annals of Mathematics and Artificial Intelligence 37(1-2):33-63.
11. Vasconcelos, W. W.; Kollingbaum, M. J.; and Norman, T. J. 2007. Resolving conflict and inconsistency in norm-regulated virtual organizations. In Proc. of the Sixth Intl. Conf. on Autonomous Agents and Multiagent Systems, 632-639.