Zhisheng Huang

Affiliation:  Queen Mary and Westfield College, London, United Kingdom.
To reach:     [homepage], [email].

ALX3, A Multi-Agent Action Logic. (With and Michael Masuch).
Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [multiagents]. Code: [Huang95A].

Safety logics I: absolute safety. (With and John Bell).
Presented at: Common Sense 1996. Venue: Stanford, CA, USA, 6-8.1.1996. Code: [Huang96A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.