Saturday, June 25, 2016

Probabilistic Theorem Proving

Many representation schemes combining first-order logic and probability have been proposed in recent years. We propose the first method that has the full power of both graphical model inference and first-order theorem proving (in finite domains with Herbrand interpretations).



from Communications of the ACM: Latest Issue http://ift.tt/28Syamw

No comments:

Post a Comment