<?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>Towards a Logical Theory of Coordination and Joint Ability</article-title>
</title-group>

<author><a href="mailto:hojjat@cs.toronto.edu"><name>Hojjat Ghaderi</name></a></author>
<aff>Department of Computer Science, University of Toronto, Toronto, ON M5S3G4, Canada</aff>

<author><a href="mailto:hector@cs.toronto.edu"><name>Hector Levesque</name></a></author>
<aff>Department of Computer Science, University of Toronto, Toronto, ON M5S3G4, Canada</aff>

<author><a href="mailto:lesperan@cs.yorku.ca"><name>Yves Lesp&#233;rance</name></a></author>
<aff>Department of Computer Science and Engineering, York University Toronto, ON M3J 1P3, Canada</aff>
</article-meta></front>
<abstract>
<title>ABSTRACT</title>
<p>The coordination of teams of cooperating but autonomous
agents is a core problem in multiagent systems research. A
team of agents is jointly able to achieve a goal if despite any
incomplete knowledge or even false beliefs that they may
have about the world or each other, they still know enough
to be able to get to a goal state, should they choose to do
so. Unlike in the single-agent case, the mere existence of
a working plan is not sufficient since there may be several
incompatible working plans and the agents may not be able
to choose a share that coordinates with the others'.</p>
</abstract>
<body>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0587_cada6c4f628977770a7b282870c373cc</hpdf>
</fpdf>
</body>
</article>

