Provably correct theories of action (preliminary report (1991)

by Fangzhen Lin, Yoav Shoham
Venue:In National Conference onArti cial Intelligence