Provably Correct Theories of Action (Preliminary Report).

Fangzhen Lin, Yoav Shoham

Browse the full AAAI paper archive.