Selection of references for the ETAI area

Reasoning about Actions and Change

Stanford Spring Symposium

SSS-95

The following papers at the conference addressed some aspect(s) of Reasoning about Actions and Change.

c-sss-95-Young

R. Michael Young:
The Role of Plans in Task-Related Discourse.

c-sss-95-Yi

Choong-Ho Yi:
Towards the Assessment of Logics for Concurrent Actions.

c-sss-95-Thielscher

Michael Thielscher:
On the Logic of Dynamic Systems.

c-sss-95-Tash

Jonathan King Tash:
Abstract Actions for Stochastic Planning.

c-sss-95-Smith

David E. Smith, Mike Williamson:
Representation and Evalution of Plans with Loops.

c-sss-95-Shanahan

Murray Shanahan:
Context-Sensitive Event Occurrence Minimization.

c-sss-95-Pym

David Pym, David Murphy and Louise Pryor:
Actions as processes.

c-sss-95-Poole

David Poole:
Sensing and Acting in the Independent-Choice Logic.

c-sss-95-Pearl

Judea Pearl:
Action as Local Surgery.

c-sss-95-Ngo

Liem Ngo, Peter Haddawy:
Representing Iterative Loop for Decision-Theoretic Planning.

c-sss-95-Miller

Rob Miller:
Situation Calculus Specifications for Event Calculus Logic Programs.

c-sss-95-McIlraith

Sheila A. McIlraith:
Incorporating Action into Diagnostic Problem Solving.

c-sss-95-McCarty

L. Thorne McCarty:
Some Requirements on an Action Language for Legal Discourse.

c-sss-95-McCain

Norman McCain, Hudson Turner:
A Causal Theory of Ramifications and Qualifications.

c-sss-95-Malin

Jane T. Malin, Dan Ryan and Debra Schreckenghost:
Position Paper.

c-sss-95-Ma

Jixin Ma, Brian Knight:
A Revised Theory of Temporal Actions.

c-sss-95-Loganantharaj

Raja Loganantharaj:
Reified Logic for Representing First-order Temporal Constraints.

c-sss-95-Levinson

Richard Levinson:
An Interdisciplinary Theory of Autonomous Action.

c-sss-95-Huang

Zhisheng Huang, Michael Masuch:
ALX3, A Multi-Agent Action Logic.

c-sss-95-Heckerman

David Heckerman:
A Decision-Based View of Causality.

c-sss-95-Gruninger

Michael Gruninger, Javier Pinto:
A Theory of Complex Actions for Enterprise Modelling.

c-sss-95-Greenwald

Lloyd Greenwald:
How to Avoid Thinking on Your Feet.

c-sss-95-Goldman

Robert P. Goldman, Mark S. Boddy:
Position Paper.

c-sss-95-Giunchiglia

Enrico Giunchiglia, Neelakantan Kartha and Vladimir Lifschitz:
Actions with indirect effects.

c-sss-95-Elkan

Charles Elkan:
Reasoning about action in first-order logic.

c-sss-95-Doan

An Hai Doan, Peter Haddawy:
Generating Macro Operators for Decision-Theoretic Planning.

c-sss-95-Giacomo

Giuseppe De Giacomo, Maurizio Lenzerini:
Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions.

c-sss-95-Darwiche

Adnan Darwiche:
Structure-based generation of plans.

c-sss-95-Crawford

James Crawford, David Etherington:
Observation on Observations in Action Theories.

c-sss-95-Costello

Tom Costello:
Relating Formalizations of Action.

c-sss-95-Boutilier

Craig Boutilier, Nir Friedman:
Nondeterministic Actions and the Frame Problem.

c-sss-95-Blythe

Jim Blythe:
AI Planning in Dynamic, Uncertain Domains.

c-sss-95-Benjamin

D. Paul Benjamin:
Analyzing languages of actions for the purpose of synthesis.

c-sss-95-Baral

Chitta Baral, Michael Gelfond and Alessandro Provetti:
Representing Complex Effects of Actions.

c-sss-95-Bacchus

Fahiem Bacchus, Froduald Kabanza:
Control Strategies in Planning.

c-sss-95-Agosta

John M. Agosta:
Representation of Deliberation and Execution Time in Influence Diagrams.