Rolston, D. W. Toward a tense-logic-based mitigation of the frame problem. In F. M. Brown, editor, Proc. of the 1987 Workshop on the Frame Problem in AI, Lawrence, Kansas, Apr. 1987. Morgan Kaufmann
(1987)
Languages mentioned
Chronolog
{1985} Temporal version of Prolog