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.
Doherty, Patrick, Witold Lukaszewicz, and Andrzej Szalas:
General Domain Circumscription and its First-Order Reduction.
Fisher, Michael, and Michael Wooldridge:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
Topics: [compilation], [tableau], [knowledge].
Girle, Roderic A:
Commands in Dialogue Logic.
Errico, Bruno, and
Intelligent Agents in the Situation Calculus: an Application to User Modelling.
May, Wolfgang, and Peter Schmitt:
A Tableau Calculus for First-Order Branching Time Logic.
How to Reason about Akratic Action Practically?.
Pollock, John L:
Reason in a Changing World.
Modal Logic for Modelling Actions and Agents.
Formalization of Reasoning about Default Action.
Practical Reasoning with Procedural Knowledge.
Towards the Assessment of Logics for Concurrent Actions.
Topics: [assessment], [concurrency].