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/28S7P8n
No comments:
Post a Comment