Progress Towards Effective Automated Reasoning with World Knowledge.

Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo

Browse the full FlAIRS paper archive.