Sciweavers

CADE
2008
Springer
15 years 23 days ago
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 en...
Steven Trac, Geoff Sutcliffe, Adam Pease