Daily News logo Newsletter logo   Search News    

Rearden Commerce Sponsors Semantic Technology Contest

  Share This Story

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.

Rearden Commerce
Pam Erickson, 617-296-1080
pam.erickson@reardencommerce.com
http://www.reardencommerce.com



 
Support Wikipedia

NeswBlaze top writers

Find more stories recommended by Stumbleupon.

newsletter logo

What's Hot?
1 .Supermodel Bar Refaeli Adorns the Cover of the 2009 Sports Illustrated Swimsuit Issue on Newsstands Today! - 208
2 .Africa Oil Operations Update - 67
3 .Oprah Winfrey Come Out of The Closet! Admit You're a Lesbian! - 40
4 .These 10 Comfortable Walking Shoes Are a Step in the Right Direction - 42
5 .Go Social Film Magazine Partners with the San Jose Short Film Festival to Stream Official Selections Online to a Global Audience via iPad - 39
6 .Give a Great Valedictorian Speech - Joey Asher - 37
7 .Waterless 'Air Cooler PLUS' Beats Summer's Heat Without Making Your Home Muggy - 39
8 .Sandra Bullock's Naked Success - 33
9 .Photos: Valkyrie MEDEVAC - 39
10 ."K-1 Rising 2012 - K-1 World Max Final 16 2012" Announces May 27 Pay-Per-View Ustream Channel - 28
Updated: 23:59 PDT     4976

NewsBlaze Editors

editors

NewsBlaze Writers

news writer images

Writers Wanted

Help NewsBlaze provide daily news, including top stories, Home and Garden, Technology, The Environment and more. NewsBlaze Writer

Follow NewsBlaze

NewsBlaze Social Media Logos NewsBlaze Facebook NewsBlaze LinkedIn NewsBlaze Twitter NewsBlaze YouTube NewsBlaze MySpace NewsBlaze Fan Page NewsBlaze StumbleUpon NewsBlaze Political Cartoons NewsBlaze Editorial Cartoons
NewsBlaze 
Copyright © 2004-2012 NewsBlaze LLC
Use of this website is subject to our Terms of Service and Privacy Policy  | DMCA Notice |         Press Room