Reasoning about plans / James F. Allen ; Henry A. Kautz ; Richard N. Pelavin ; Josh D. Tenenberg