Virtual worlds as meeting places for formal systems.

Kirstie L. Bellman Christopher Landauer

Published in: Appl. Math. Comput. (2001)

Keyphrases

virtual world
virtual environment
physical world
complex systems
intelligent systems
virtual reality
mixed reality
formal methods
formal model
building blocks
distributed systems
management system
context aware
game based learning
information technology
artificial intelligence
neural network