Foster City, CA - March 23, 2011

Rearden Commerce Sponsors Semantic Technology Contest

Competition showcases the fastest logical reasoners

Rearden Commerce, a next-generation eCommerce company, today announced its sponsorship of a category of The World Championship for Automated Theorem Proving (ATP), Large Theory division. The competition showcases the latest advancements in logical reasoning. It will be held in conjunction with The 23rd International Conference on Automated Deduction (CADE) in Warsaw, Poland on August 3, 2011.

"Stimulating research and system development in logical reasoning is an essential aspect of furthering the community's work in semantic technology,"said Adam Pease, Senior Applied Scientist, Rearden Commerce. "We are proud to sponsor the contest and look forward to the continuing acceleration of theorem proving performance."

Rearden Commerce will underwrite the cash prizes associated with the Suggested Upper Merged Ontology (SUMO) problem category of the Large Theory division. The contest is organized by Geoff Sutcliffe, Associate Professor and Director of Undergraduate Studies, University of Miami Department of Computer Science. Historically the competition has resulted in dramatic improvements on practical reasoning problems using SUMO, which has been developed by Rearden Commerce's Pease.

SUMO, an open source platform, will serve as the foundation of Rearden Commerce's relevance engine as the company seeks to transform eCommerce by enabling the most personalized, relevant web experience possible for individuals and businesses.