|dc.description.references||1. Linden Lab. Second Life Home Page. http://secondlife.com, August 2010.
2. Vstex Company. Secondfootball Home Page. http://www.secondfootball.com, August 2010.
3. F. Bacchus and F. Kabanza. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence, 116(1-2):123–191, 2000.
4. R. H. Bordini, J. F. Hubner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons Ltd, England, 2007.
5. C. Castelfranchi. Mind as an anticipatory device: For a theory of expectations. In M. De Gregorio, V. Di Maio, M. Frucci, and C. Musio, editors, Brain, Vision, and Artificial Intelligence, volume 3704 of Lecture Notes in Computer Science, pages 258–276. Springer Berlin / Heidelberg, 2005.
6. C. Castelfranchi, F. Giardini, E. Lorini, and L. Tummolini.The prescriptive destiny of predictive attitudes: From expectations to norms via conventions. In Proceedings 25th Annual Meeting of the Cognitive Science Society (CogSci 2003), Boston, USA, 31 July 2 August, 2003.
7. S. Cranefield and M. Winikoff. Verifying social expectations by model checking truncated paths. Journal of Logic and Computation, 2010. Advance access, doi:10.1093/logcom/exq055.
8. S. Cranefield, M. Winikoff, and W. Vasconcelos. Modelling and monitoring interdependent expectations. Discussion Paper 2011/03, Department of Information Science, University of Otago, 2011. http://eprints.otago.ac.nz/1094/.
9. E. Lorini and R. Falcone. Modeling expectations in cognitive agents. In AAAI 2005 Fall Symposium: From Reactive to Anticipatory Cognitive Embodied Systems, 2005.
10. F. Meneguzzi, S. Miles, M. Luck, C. Holt, and M. Smith. Electronic contracting in aircraft aftercare: a case study. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track, AAMAS ’08, pages 63–70, Richland, SC, 2008. International Foundation for Autonomous Agents and Multiagent Systems.
11. S. Ranathunga, S. Cranefield, and M. Purvis. Interfacing a Cognitive Agent Platform with a Virtual World: a Case Study using Second Life. In 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011. To appear.
12. A. S. Rao. BDI agents speak out in a logical computable language. In Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world: agents breaking away, pages 42–55. Springer-Verlag Berlin, Heidelberg, 1996.||en_NZ