Progress Towards Effective Automated Reasoning with World Knowledge

Abstract

The paper describes how SPASS-XDB’s reasoning is focussed and controlled, its sources of world knowledge, and their use in solving a range of test problems.

Keywords

• automated reasoning
• world knowledge