The following is probably the set of those papers at the conference which address some aspect(s) of Reasoning about Actions and Change.
Duc, Ho Ngoc: Reasoning about Rational, but not Omniscient Agents. Topics: [knowledge]. Code: [Doc96A].
Doherty, Patrick, Witold Lukaszewicz, and Andrzej Szalas: General Domain Circumscription and its First-Order Reduction. Topics: [compilation]. Code: [Doherty96B].
Fisher, Michael, and Michael Wooldridge: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. Topics: [compilation], [tableau], [knowledge]. Code: [Fisher96A].
Girle, Roderic A: Commands in Dialogue Logic. Topics: [dialogue]. Code: [Girle96A].
Errico, Bruno, and Luigia Aiello: Intelligent Agents in the Situation Calculus: an Application to User Modelling. Topics: [other-usages]. Code: [Errico96A].
May, Wolfgang, and Peter Schmitt: A Tableau Calculus for First-Order Branching Time Logic. Topics: [branching-time]. Code: [May96A].
Omelyanchyk, Valentyn: How to Reason about Akratic Action Practically?. Code: [Omelyanchyk96A].
Pollock, John L: Reason in a Changing World. Topics: [philosophy]. Code: [Pollock96A].
Prendinger, Helmut: Modal Logic for Modelling Actions and Agents. Topics: [modal-logic]. Code: [Prendinger96A].
Radzikowska, Anna: Formalization of Reasoning about Default Action. Topics: [other-aspects]. Code: [Radzikowska96A].
Reiter, Ray: Cognitive Robotics. Topics: [cogrobotics]. Code: [Reiter96A].
Wooldridge, Michael: Practical Reasoning with Procedural Knowledge. Topics: [philosophy]. Code: [Wooldridge96A].
Yi, Choong-Ho: Towards the Assessment of Logics for Concurrent Actions. Topics: [assessment], [concurrency]. Code: [Yi96A].