Model Checking AgentSpeak
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Book Section
Member Organisation: ?? ??

Bordini, R.H. and Fisher, M. and Pardavila, C. and Wooldridge, M. (2003) Model Checking AgentSpeak. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). , Melbourne, Australia.

Full text not available from this archive.

Deposited by AgentLink Archive Administrator on 25 January 2005

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact