Provably Correct Theories of Action (Preliminary Report)

Fangzhen Lin, Yoav Shoham. Provably Correct Theories of Action (Preliminary Report). In AAAI. pages 349-354, 1991.

Abstract

Abstract is missing.