Selection of references for the ETAI area

Reasoning about Actions and Change

International Conf on Knowledge Representation and Reasoning

KR-89

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

c-kr-89-011

Andrew B. Baker:
A Simple Solution to the Yale Shooting Problem.
Pages 11-20.

c-kr-89-324

Edwin P. D. Pednault:
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus.
Pages 324-332.

c-kr-89-381

Manny Rayner:
Did Newton Solve the "Extended Prediction Problem"?.
Pages 381-385.

c-kr-89-412

Erik Sandewall:
Combining Logic and Differential Equations for Describing Real-World Systems.
Pages 412-420.

c-kr-89-467

Devika Subramanian, John Woodfill:
Making Situation Calculus Indexical.
Pages 467-474.