Bình Vu Trân James Harland Margaret Hamilton 0001 246-254 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#TranHH04 https://aaai.org/papers/KR04-027-observation-expectation-reasoning-in-agent-systems/