Towards a formalisation of flectronic contracting environments

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5428, Issue , 2009, Pages 156-171

  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

FORMAL REPRESENTATIONS; FORMALISATION; REAL WORLD DOMAIN; REAL-WORLD SCENARIO;

TECHNICAL PRESENTATIONS;

SOCIETIES AND INSTITUTIONS;

EID: 67049100284     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00443-8_11     Document Type: Conference Paper

References (12)

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