Non-monotonic Temporal Reasoning (1995)

by Erik Sandewall, Yoav Shoham
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4, Epistemic and Temporal Reasoning