Multi-agent systems (MAS) have become an increasingly important area
of research, not least because of the advances in the Internet and
Robotics. However multi-agent systems can become very complicated,
and, consequently, reasoning about the behaviour of such systems can
become extremely difficult. Therefore, it is important to be able to
formalise multi-agent systems and, to do so in such a way that allows
automated reasoning about agents' behaviour. The purpose of this
workshop is to present techniques, based on computational logic (CL),
for reasoning about multi-agent systems in a formal way. This is
clearly a major and exciting challenge for computational logic. We
have to develop techniques to deal with real world issues and
applications.