Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo. Progress Towards Effective Automated Reasoning with World Knowledge. In Hans W. Guesgen, R. Charles Murray, editors, Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 19-21, 2010, Daytona Beach, Florida. AAAI Press, 2010. [doi]
Abstract is missing.