Humans and agents in 3D electronic institutions.
4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands.
Hilbert-style calculi for BPL and FPL.
1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002.. :20–30.
HIHEREI: Human Interaction within Hybrid Environments.
The Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). :1417–1418.