1. Decision-theoretic, high-level agent programming in the situation calculus;Boutelier;Proceedings of the National Conference on Artificial Intelligence,2000
2. Blown to bits;Evans,2000
3. Electronic commerce: Security, risk management, and control;Greenstein,2002
4. Strategic negotiation in multiagent environments;Kraus,2001
5. Ability and knowing how in the situation calculus;Lesperance;Studia Logica,2000