Temporal logics in AI: Semantical and ontological considerations (1987)

by Y Shoham
Venue:Artificial Intelligence