@inbook{bcd9f0a36f1d4effb49a6750eae46747,
title = "Towards a Formalisation of Electronic Contracting Environments",
abstract = "Clauses within contracts may be thought of as norms, specifying permissions, obligations and prohibitions on contract parties. In this paper, we present a formal representation of contracts, focusing on the specification of a model of norms. With this model, a norm is associated with a status, which may change as the environment, and the status of other norms, changes. We define a normative environment, which may be used to track the status of a set of norms throughout their lifecycle, and then describe a predicates that may be used to evaluate a norm{\textquoteright}s status. Agents are able to use these predicates to reason about the status of norms, and how their actions will affect the normative environment. Finally, we show the applicability of our framework to real world domains by monitoring the execution of a contract taken from a real world scenario.",
author = "Nir Oren and Sofia Panagiotidi and J Vazquez-Salceda and Sanjay Modgil and Michael Luck and Simon Miles",
year = "2009",
doi = "10.1007/978-3-642-00443-8_11",
language = "English",
isbn = "9783642004421",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
pages = "156 -- 171",
editor = "H{\"u}bner, {Jomi Fred } and Matson, {Eric } and Boissier, {Olivier } and Dignum, {Virginia }",
booktitle = "Coordination, Organizations, Institutions and Norms in Agent Systems IV",
note = "Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008 ; Conference date: 01-01-2009",
}