1. Proofs in context;ATTARDI,1994
2. Formal specification of multiagent systems: a real world case;BRAZIER,1995
3. Modelling internal dynamic behaviour of BDI agents;BRAZIER,1998
4. Formalization of a cooperation model based on joint intentions;BRAZIER,1997
5. Self-awareness: notes for a computational theory of intrapsychic social interaction;CASTELFRANCHI,1995