FOSTER CITY, Calif.--(BUSINESS WIRE)--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.
About Rearden Commerce, Inc.
Rearden Commerce, a next generation eCommerce platform company, offers applications, services, content and powerful personalization capabilities that enable highly-personalized, relevant transactions. The company connects millions of consumers and more than 7,000 business customers across every market segment to more than 1,000,000 merchants. The solutions are distributed globally by over 60 strategic partners, including American Express, JP Morgan Chase, Paychex and many leading travel management companies. Rearden Commerce is headquartered in Foster City, California and has offices in San Jose, California, Secaucus, New Jersey, Wooster, Ohio and Bangalore, India. For more information, visit http://www.reardencommerce.com.