The following is probably the set of those papers at the conference
which address some aspect(s) of Reasoning about Actions and Change.
Agosta, John M.:
Representation of Deliberation and Execution Time in Influence Diagrams.
Bacchus, Fahiem, and
Control Strategies in Planning.
Representing Complex Effects of Actions.
Baral, Chitta, Michael Gelfond, and Alessandro Provetti:
Representing Actions I: Laws, Observations and Hypotheses.
Benjamin, D. Paul:
Analyzing languages of actions for the purpose of synthesis.
AI Planning in Dynamic, Uncertain Domains.
Boutilier, Craig, and Nir Friedman:
Nondeterministic Actions and the Frame Problem.
Richard Dearden, and
Exploiting Structure in Policy Construction.
Relating Formalizations of Action.
Crawford, James, and David Etherington:
Observation on Observations in Action Theories.
Structure-based generation of plans.
De Giacomo, Giuseppe, and Maurizio Lenzerini:
Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions.
Doan, An Hai, and Peter Haddawy:
Generating Macro Operators for Decision-Theoretic Planning.
Reasoning about action in first-order logic.
On solving the Qualification Problem.
Giunchiglia, Enrico, Neelakantan Kartha, and Vladimir Lifschitz:
Actions with indirect effects.
Goldman, Robert P., and
Mark S. Boddy:
How to Avoid Thinking on Your Feet.
Gruninger, Michael, and
A Theory of Complex Actions for Enterprise Modelling.
A Decision-Based View of Causality.
Huang, Zhisheng, and
ALX3, A Multi-Agent Action Logic.
An Interdisciplinary Theory of Autonomous Action.
Reified Logic for Representing First-order Temporal Constraints.
Ma, Jixin, and Brian Knight:
A Revised Theory of Temporal Actions.
Malin, Jane T.,
Dan Ryan, and
McCain, Norman, and Hudson Turner:
A Causal Theory of Ramifications and Qualifications.
Topics: [causation], [qualification], [ramification].
McCarty, L. Thorne:
Some Requirements on an Action Language for Legal Discourse.
McIlraith, Sheila A.:
Incorporating Action into Diagnostic Problem Solving.
Situation Calculus Specifications for Event Calculus Logic Programs.
Topics: [sit-calc], [event-calc].
Ngo, Liem, and Peter Haddawy:
Representing Iterative Loop for Decision-Theoretic Planning.
Topics: [planning], [repetition].
Action as Local Surgery.
Sensing and Acting in the Independent-Choice Logic.
Pym, David, David Murphy, and Louise Pryor:
Actions as processes.
Context-Sensitive Event Occurrence Minimization.
Smith, David E., and Mike Williamson:
Representation and Evalution of Plans with Loops.
Topics: [repetition], [planning].
Tash, Jonathan King:
Abstract Actions for Stochastic Planning.
Topics: [ontology], [planning], [stochastic].
On the Logic of Dynamic Systems.
Towards the Assessment of Logics for Concurrent Actions.
Topics: [concurrency], [assessment].
Young, R. Michael:
The Role of Plans in Task-Related Discourse.