Integration of the TPTPWorld into SigmaKEE

This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning environment, with strong knowledge management features, and access to modern state of the art ATP systems for reasoning over knowledge bases.

• Type: Conference
• Year: 2008
• Where: CADE
• Authors: Steven Trac, Geoff Sutcliffe, Adam Pease
• Keywords: Automated Reasoning, CADE 2008, Knowledge Based Reasoning, Knowledge Engineering Environment, Strong Knowledge Management