Web Scale Reasoning and the LarKC Project (Review and Progress)
Published on Nov 24, 20105064 Views
"Scaling automated reasoning can be approached from the bottom up, but speeding up extremely simple reasoning over large numbers of data, or from the top down, but harnessing powerful rules and comple
