Natsumi Kitajima Yuichi Goto Jingde Cheng Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. 171-178 2008 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2008.118 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#KitajimaGC08