I think we are getting there. It's not easy to build an expressive and efficient formalism that combines structure and uncertainty. New approaches like Markov l

I think we are getting there. It's not easy to build an expressive and efficient formalism that combines structure and uncertainty. New approaches like Markov logic are promising.