<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>Joint Conversation Specification and Compliance</article-title>
</title-group>

<author><a href="mailto:sha@csc.liv.ac.uk"><name>Shamimabi Paurobally</name></a></author>
<aff>University of Liverpool, Liverpool L69 3BX, UK.</aff>

<author><a href="mailto:mjw@csc.liv.ac.uk"><name>Michael J. Wooldridge</name></a></author>
<aff>University of Liverpool, Liverpool L69 3BX, UK.</aff>

</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL).We argue that a proper theoretical treatment of conversations cannot be simply derived compositionally from the semantics of individual Communicative Acts (CAs). Accordingly, we develop a theory of joint conversations that is independent of its constituent CAs. We treat the process of a group following an interaction protocol as a persistent joint communicative action (JCA) by the group. We define compliance in a joint conversation and we prove salient properties of joint conversations.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0141_0e0a765c8d37d67a814af168754ebc3a</hpdf>
</fpdf>
</body>
</article>
