Integrating expectation monitoring into Jason: A case study using Second Life

This is the final version of a paper that was peer reviewed and accepted for presentation at the 8th European Workshop on Multi-Agent Systems, 2010 (which has no formal proceedings).

[1]  Michael Luck,et al.  Electronic contracting in aircraft aftercare: a case study , 2008, AAMAS.

[2]  Michael Winikoff,et al.  Verifying social expectations by model checking truncated paths , 2011, J. Log. Comput..

[3]  V. D. Veksler.  Second Life as a Simulation Environment : Rich , high-fidelity world , minus the hassles , 2009 .

[4]  Michael Luck,et al.  Norm-based behaviour modification in BDI agents , 2009, AAMAS.

[5]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[6]  Marc Esteva,et al.  Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents , 2008, IVA.

[7]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[8]  Carlos José Pereira de Lucena,et al.  Using Jason to Develop Normative Agents , 2010, SBIA.

[9]  Mitsuru Ishizuka,et al.  Extending MPML3D to Second Life , 2008, IVA.

[10]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[11]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[12]  Stefan Kopp,et al.  Intelligent Agents Living in Social Virtual Environments - Bringing Max into Second Life , 2008, IVA.

[13]  Paola Spoletini,et al.  An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems , 2009, COIN@AAMAS&AAAI.