A formal theory of plan recognition and its implementation (1991)

by Henry A Kautz
Venue:In Reasoning about Plans