Progress Towards Effective Automated Reasoning with World Knowledge. - Geoff Sutcliffe; Martin Suda 001; Alexandra Teyssandier; Nelson Dellis; Gerard de Melo (FLAIRS, 2010)