Loading [MathJax]/jax/output/HTML-CSS/config.js

Tuesday, May 24, 2011

Talk on Markov Logic and Lifted Belief Propagation

By Parag Singla

Things to look up
  • Horn clauses, First Order Logic
  • Lifted Theorem Proving, Lifted Resolution, Lifted Belief Propagation
  • alchemy.cs.washington.edu
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)