@inproceedings{Lillis2010a,
 title = {{{ACRE}}: {{Agent Conversation Reasoning Engine}}},
 booktitle = {3rd International Workshop on {{LAnguages}}, Methodologies and Development Tools for Multi Agent {{SystemS}} ({{LADS}}'010)},
 author = {Lillis, David and Collier, Rem W.},
 year = {2010},
 address = {Lyon},
 abstract = {Within Multi Agent Systems, communication by means of Agent Communication Languages has a key role to play in the co-operation, co-ordination and knowledge-sharing between agents. Despite this, complex reasoning about agent messaging and specifically about conversations between agents, tends not to have widespread support amongst general-purpose agent programming languages. ACRE (Agent Communication Reasoning Engine) aims to complement the existing logical reasoning capabilities of agent programming languages with the capability of reasoning about complex interaction protocols in order to facilitate conversations between agents. This paper outlines the aims of the ACRE project and gives details of the functioning of a prototype implementation within the AFAPL2 agent programming language.},
}