Sciweavers

Share
CADE
2008
Springer

Integration of the TPTPWorld into SigmaKEE

9 years 3 months 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 environment, with strong knowledge management features, and access to modern state of the art ATP systems for reasoning over knowledge bases.
Steven Trac, Geoff Sutcliffe, Adam Pease
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Steven Trac, Geoff Sutcliffe, Adam Pease
Comments (0)
books