Monitoring social expectations in second life

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 2, Issue , 2009, Pages 1218-1219

  Cranefield, Stephen ^a   Li, Guannan ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

Second life; Social expectations; Virtual worlds

Indexed keywords

AUTONOMOUS AGENTS; HUMAN COMPUTER INTERACTION; MODEL CHECKING; MULTI AGENT SYSTEMS; TOOLS; VIRTUAL REALITY;

3-D ENVIRONMENTS; HUMAN COMMUNICATIONS; HUMAN INTERACTIONS; SECOND LIFE; SOCIAL CONTEXT; SOCIAL EXPECTATIONS; SOCIAL INTERACTIONS; VIRTUAL WORLDS;

INTERACTIVE COMPUTER GRAPHICS;

EID: 84899874899     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. F Bacchus and F Kabanza. Using temporal logics to express search control knowledge for planning Artificial Intelligence, 116(1-2):123-191, 2000.
2. S. Cranefield and G. Li. Monitoring of social expectations in Second Life. Discussion Paper 2009/02, Department of Information Science, University of Otago, http://eprints.otago.ac.nz/795/, 2009.
3. S. Cranefield and M Winikoff. Verifying social expectations by model checking truncated paths. In Coordination, Organizations, Institutions, and Norms in Agent Systems IV, Lecture Notes in Computer Science, 5428:204-219. Springer, 2009.
4. L. Dragone. Hybrid logics model checker http://luigidragone.com/hlmc/, 2005.
5. N. Markey and P Schnoebelen. Model checking a path. In CONCUR 2003 - Concurrency Theory, Lecture Notes in Computer Science, 2761:251-265. Springer, 2003.